remove 'undo' and 'redo' fields from app_type, because I won't be adding that functionality for the forseeable future

2025-08-09 09:35:52 +01:00
parent 58439d8df8
commit 852b2cf1f1
4 changed files with 0 additions and 92 deletions
--- a/fcore/app-init.sml
+++ b/fcore/app-init.sml
@@ -51,8 +51,6 @@ struct
      , layer = 0
      , layerTree = layerTree
      , modalNum = 0
-      , undo = []
-      , redo = []
      }
    end