Warning: session_start(): open(/var/lib/php/sessions/sess_9u00o3mgnbiqsfgp6057h8i9cv, 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;
transient new RestartableCountdown deleteIfUnused;
start {
if (dm_getBounds() == null) {
int w = getWidth(dm_desktopPane()), h = getHeight(dm_desktopPane());
dm_setBounds(this, w-300, h-200, 300, h);
}
}
visualize {
ret withRightMargin(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) {
deleteIfUnused.stop();
final JLabel lbl = jlabel(action);
final JComponent c = centerAndEast(lbl, jbutton("Cancel", cancelMe));
addAndValidate(stack, c);
ret new AnAction {
public void close {
removeAndValidate(c);
deleteIfUnused.start(60.0, rEnter dm_deleteModule);
}
public void setText(S text) { main.setText(lbl, text); }
};
}
}