Warning: session_start(): open(/var/lib/php/sessions/sess_ok6eeoluqjs4ft4t8bi4acecc5, 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
cmodule2 ExtraFrame {
S mainModuleID;
transient JComponent visualization;
bool deleteOnMainReload; // delete when main module is reloaded
bool deleteOnReboot; // delete when OS is rebooted
bool usePreferredSizeInitially;
int minimumSizePlusY = 10; // fix the god damn window-too-small bug?
visual visualization;
start {
componentFieldsToKeep = litset("visualization");
if (deleteOnReboot && dm_isBooting())
dm_deleteModule();
// delete this module when main module is deleted
dm_vmBus_onMessage_enter moduleDeleted(voidfunc(O mod) {
if (dm_sameModule(mod, mainModuleID))
dm_deleteModule();
});
dm_vmBus_onMessage_enter moduleReloaded(voidfunc(O mod) {
if (deleteOnMainReload && dm_sameModule(mod, mainModuleID))
dm_deleteModule();
});
}
JComponent _getReloadData() { ret visualization; }
void _setReloadData(JComponent data) { this.visualization = data; }
bool _usePreferredSizeInitially() { ret usePreferredSizeInitially; }
Pt minimumSize() {
if (visualization == null) null;
Dimension d = getMinimumSize(visualization);
ret Pt(d.width, d.height+minimumSizePlusY);
}
}