Warning: session_start(): open(/var/lib/php/sessions/sess_hd7q58hndu035acrcf21naslp1, 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
srecord noeq JG22ProjectSelector(G22Utils g22utils) is Swingable {
transient JLabel lblDB;
cachedVisualize {
lblDB = toolTip("Currently selected project (" + f2s(g22utils.conceptsDir()) + ")",
/*boldLabel*/(jSimpleLabel(conceptsDirName(g22utils.concepts()))));
onClick(lblDB, evt -> new PopupMenuMaker(evt, menu -> {
for (File otherDB : listMinus(g22utils.masterStuff().openConceptDirs(), g22utis.conceptsDir()))
addMenuItem(menu, fileName(otherDB)+ " [Open]", rThread { g22utils.masterStuff().openDatabase(otherDB) });
addMenuItem(menu, "Manage or open projects...",
rThread { showUIURL("Projects")});
}).run());
ret lblDB;
}
}