Warning: session_start(): open(/var/lib/php/sessions/sess_1q7kvgfeeadlbui1n12mg4p17q, 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
new L undoList;
void addUndo(UndoableWithAnswer undo) {
if (undo == null) ret;
undoList.add(undo);
change();
print("Undo added: " + undo);
}
void clearUndos q {
if (empty(undoList)) ret;
undoList.clear();
change;
print("Undo list cleared");
}
S singleUndo() {
UndoableWithAnswer undo = popLast(undoList);
if (undo == null) ret "Nothing to undo";
change();
ret or2(undo.undo(), "Last action undone");
}
// API
UndoableWithAnswer lastUndo() {
ret dm_q(() -> last(undoList));
}