Tabbed interface.

2026-09-25 15:41:12 +00:00 · 2024-10-29 16:55:43 +01:00
parent c93710e0d7
commit fa87f31c71
10 changed files with 753 additions and 439 deletions
@@ -94,4 +94,10 @@ public class UndoManager {
    public boolean canRedo() {
        return history.size() > historyPos;
    }
+    
+    public void clear() {
+        history.clear();
+        historyPos = 0;
+        fireChange();
+    }
 }