Warning: session_start(): open(/var/lib/php/sessions/sess_hg6vshhkb9ovusp6evaptd81i3, 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
p-subst { autoRestart();
fS listName = "List => Language", guessesList = listName + " | Guesses";
SS guesses = mechMapCI_leftArrows(guessesList);
SS confirmed = mechMapCI_leftArrows(listName + " | Confirmed");
guesses = mapMinusKeysOfOtherMap(guesses, confirmed);
final JTable table = showTable(guessesList, namedMap("List", "Language", mapSortedByValue();
addToWindowWithMargin(table, jcenteredline(
selectedRowCountTableButton(table, jbutton("Confirm Selected", r {
S text = lines(map(selectedTableRowsData(table), func(L l) -> S {
second(l) + " <= " + first(l)
}));
if (neqic("No change", infoBoxAndReturn(botAppendToMechList_uniqCI(guessesList, text))))
restart(); // TODO: just update table
}))));
}