Warning: session_start(): open(/var/lib/php/sessions/sess_jrbi5qgelkqftd8kpp7isna0mk, 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
static void showWebsBesideConsole() {
showWebsBesideConsole(0.7f);
}
static void showWebsBesideConsole(final float splitRatio) {
swingUnlessHeadless(r {
final JList list = jlist();
final Runnable update = r {
fillListWithStrings(list, renderTriplesWithDate(ai_allTriplesByDate()))
};
callF(update);
ai_onNewWeb(update);
listPopupMenuItem(list, "Forget", voidfunc(S item) {
ai_silentlyInvalidateAndDeleteTriple(ai_findTriple(ai_parseTriple(dropLeadingDate(item))));
callF(update);
});
Runnable forgetAll = r {
ai_deleteWebsMadeByProgram(ai_programID());
ai_clearTripleIndex();
callF(update);
};
addToFrameSplitRight_aggressive(consoleFrame(),
withTitle("Thoughts:",
centerAndSouth(list, jcenteredbutton("Forget all", forgetAll))), splitRatio);
});
}