Warning: session_start(): open(/var/lib/php/sessions/sess_l8i0qvdnb3fnketu6erqa6se8l, 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
sclass G22DatabasesPanel {
G22Utils g22utils;
Concepts concepts;
JObjectTable table;
*(G22Utils *g22utils, Concepts *concepts) {}
record GazelleDB(S name, File dir) {
simplyCached bool loaded() {
ret sameFile(dir, concepts.conceptsDir());
}
}
visualize {
table = swing(-> new JObjectTable);
table.itemToMap = db -> litorderedmap(
"Name" := db.name,
"Directory" := f2s(db.dir),
"Loaded" := db.loaded() ? "Yes" : "No"
);
new L dbs;
dbs.add(new GazelleDB("Legacy DB", programDir()));
for (File dir : listDirsContainingFileNamed(g22utils.databasesMotherDir(),
"concepts.structure.gz"))
dbs.add(new GazelleDB(fileName(dir), dir));
table.setList(dbs);
var tbl = table.visualize();
ret withTopAndBottomMargin(jCenteredRaisedSection("Gazelle Databases",
noerhCenterAndEastWithMargins(
jline(
toolTip("Create a new Gazelle database", jbutton("New database...", rThread newDatabase))
),
tbl,
vstackWithSpacing(
tableDependentButton(table.table, "Open"),
tableDependentButton(table.table, "Delete"),
))));
}
void newDatabase {
temp g22utils.enter();
//inputText();
//isValidFileName
}
}