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