Warning: session_start(): open(/var/lib/php/sessions/sess_a273242j9lr8ffrsc9rira1op9, 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
!7
module CurrentAction {
transient JPanel stack;
start {
if (dm_getBounds() == null) {
int w = getWidth(dm_desktopPane()), h = getHeight(dm_desktopPane());
dm_setBounds(this, w-300, 300, h-200, h);
}
}
visualize {
ret stack = dynamicVStack2();
}
// API
interface AnAction extends AutoCloseable {
void setText(S text);
}
// Note: cancelMe will be called in GUI thread
AutoCloseable showAction(S action, Runnable cancelMe) {
final JLabel lbl = jlabel(action);
final JComponent c = centerAndEast(lbl, jbutton("Cancel", cancelMe));
addAndValidate(stack, c);
ret new AnAction {
public void close { removeAndValidate(c); }
public void setText(S text) { main.setText(lbl, text); }
};
}
}