Warning: session_start(): open(/var/lib/php/sessions/sess_72odhmdt4fe4rsejhkbic6h6pt, 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(menuParams, 'position); // 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());
}
});
}