diff --git a/dotscape b/dotscape index f8ca62f..9803d13 100755 Binary files a/dotscape and b/dotscape differ diff --git a/fcore/app-init.sml b/fcore/app-init.sml index 25dde11..bf5d66a 100644 --- a/fcore/app-init.sml +++ b/fcore/app-init.sml @@ -48,6 +48,7 @@ struct , b = 0 , a = 1 , layer = 0 + , layerTree = LayerTree.emptyTree , modalNum = 0 , undo = [] , redo = [] diff --git a/fcore/app-type.sml b/fcore/app-type.sml index 385e7b0..0b31a70 100644 --- a/fcore/app-type.sml +++ b/fcore/app-type.sml @@ -34,6 +34,7 @@ struct , b: int , a: int , layer: int + , layerTree: LayerTree.tree , modalNum: int , undo: square list , redo: square list diff --git a/fcore/app-with.sml b/fcore/app-with.sml index b6d1399..74eb41a 100644 --- a/fcore/app-with.sml +++ b/fcore/app-with.sml @@ -52,6 +52,7 @@ struct , b , a , layer + , layerTree , modalNum , undo , redo @@ -82,6 +83,7 @@ struct , b = b , a = a , layer = layer + , layerTree = layerTree , modalNum = modalNum , undo = undo , redo = redo @@ -113,6 +115,7 @@ struct , b , a , layer + , layerTree , modalNum , undo , redo @@ -143,6 +146,7 @@ struct , b = b , a = a , layer = layer + , layerTree = layerTree , modalNum = modalNum , undo = undo , redo = redo @@ -174,6 +178,7 @@ struct , b , a , layer + , layerTree , modalNum , undo , redo @@ -201,6 +206,7 @@ struct , b = b , a = a , layer = layer + , layerTree = layerTree , modalNum = modalNum , undo = undo , redo = redo @@ -232,6 +238,7 @@ struct , b , a , layer + , layerTree , modalNum , undo , redo @@ -259,6 +266,7 @@ struct , b = b , a = a , layer = layer + , layerTree = layerTree , modalNum = modalNum , undo = undo , redo = redo @@ -290,6 +298,7 @@ struct , b , a , layer + , layerTree , modalNum , undo , redo @@ -317,6 +326,7 @@ struct , b = b , a = a , layer = layer + , layerTree = layerTree , modalNum = modalNum , undo = undo , redo = redo @@ -348,6 +358,7 @@ struct , b , a , layer + , layerTree , modalNum , undo , redo @@ -379,6 +390,7 @@ struct , b = b , a = a , layer = layer + , layerTree = layerTree , modalNum = modalNum , undo = undo , redo = redo @@ -410,6 +422,7 @@ struct , b , a , layer + , layerTree , modalNum , undo , redo @@ -437,6 +450,7 @@ struct , b = b , a = a , layer = layer + , layerTree = layerTree , modalNum = modalNum , undo = undo , redo = redo @@ -468,6 +482,7 @@ struct , b , a , layer + , layerTree , modalNum , undo , redo @@ -495,6 +510,7 @@ struct , b = b , a = a , layer = layer + , layerTree = layerTree , modalNum = modalNum , undo = undo , redo = redo @@ -526,6 +542,7 @@ struct , b , a , layer + , layerTree , modalNum , undo , redo @@ -553,6 +570,7 @@ struct , b = b , a = a , layer = layer + , layerTree = layerTree , modalNum = modalNum , undo = undo , redo = redo @@ -584,6 +602,7 @@ struct , b , a , layer + , layerTree , modalNum , undo , redo @@ -611,6 +630,7 @@ struct , b = b , a = a , layer = layer + , layerTree = layerTree , modalNum = modalNum , undo = undo , redo = redo @@ -642,6 +662,7 @@ struct , b , a , layer + , layerTree , modalNum , undo , redo @@ -669,6 +690,7 @@ struct , b = b , a = a , layer = layer + , layerTree = layerTree , modalNum = modalNum , undo = undo , redo = redo @@ -700,6 +722,7 @@ struct , b , a , layer + , layerTree , modalNum = prevNum , undo , redo @@ -729,6 +752,7 @@ struct , b = b , a = a , layer = layer + , layerTree = layerTree , modalNum = newNum , undo = undo , redo = redo @@ -760,6 +784,7 @@ struct , b , a , layer + , layerTree , modalNum , undo , redo @@ -789,6 +814,7 @@ struct , b = b , a = a , layer = layer + , layerTree = layerTree , modalNum = 0 , undo = undo , redo = redo @@ -820,6 +846,7 @@ struct , b , a , layer + , layerTree , modalNum , undo , redo @@ -849,6 +876,7 @@ struct , b = b , a = a , layer = layer + , layerTree = layerTree , modalNum = 0 , undo = undo , redo = redo @@ -880,6 +908,7 @@ struct , b = _ , a , layer + , layerTree , modalNum , undo , redo @@ -909,6 +938,7 @@ struct , b = b , a = a , layer = layer + , layerTree = layerTree , modalNum = 0 , undo = undo , redo = redo @@ -940,6 +970,7 @@ struct , b , a = _ , layer + , layerTree , modalNum , undo , redo @@ -969,6 +1000,7 @@ struct , b = b , a = a , layer = layer + , layerTree = layerTree , modalNum = 0 , undo = undo , redo = redo @@ -1000,6 +1032,7 @@ struct , b , a , layer = _ + , layerTree , modalNum , undo , redo @@ -1029,6 +1062,7 @@ struct , b = b , a = a , layer = layer + , layerTree = layerTree , modalNum = modalNum , undo = undo , redo = redo @@ -1060,6 +1094,7 @@ struct , b , a , layer + , layerTree , modalNum , undo , redo @@ -1093,6 +1128,7 @@ struct , b = b , a = a , layer = layer + , layerTree = layerTree , modalNum = 0 , undo = undo , redo = redo @@ -1124,6 +1160,7 @@ struct , b , a , layer + , layerTree , modalNum , undo , redo @@ -1157,6 +1194,7 @@ struct , b = b , a = a , layer = layer + , layerTree = layerTree , modalNum = 0 , undo = undo , redo = redo @@ -1188,6 +1226,7 @@ struct , b , a , layer + , layerTree , modalNum , undo , redo @@ -1221,6 +1260,7 @@ struct , b = b , a = a , layer = layer + , layerTree = layerTree , modalNum = 0 , undo = undo , redo = redo @@ -1252,6 +1292,7 @@ struct , b = _ , a = _ , layer + , layerTree , modalNum , undo , redo @@ -1279,6 +1320,7 @@ struct , b = b , a = a , layer = layer + , layerTree = layerTree , modalNum = 0 , undo = undo , redo = redo