Warning: session_start(): open(/var/lib/php/sessions/sess_gef4vk37tad123cs8v8p09o0cc, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51

Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51
// menuParams: text, Runnable, ... // also: position := 'left/'center/'right static JButton jPopDownButton(S text, fO... menuParams) { ret jbutton((empty(text) ? "" : text + " ") + unicode_downPointingTriangle(), r { new JPopupMenu menu; int emptyCount = menu.getComponentCount(); S position = cast optPar_ignoreOddLength position(menuParams); // TODO: this fails when you include a separator without a following null fillJPopupMenu(menu, paramsWithout(menuParams, 'position)); if (menu.getComponentCount() != emptyCount) { JButton btn = heldInstance(JButton); int x = 0; if (eq(position, 'center)) x = (btn.getWidth()-getPreferredWidth(menu))/2; else if (eq(position, 'right)) x = btn.getWidth()-getPreferredWidth(menu); menu.show(btn, x, btn.getHeight()); } }); }