humza/sml-projects
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

remove browse mode and code that became dead as a result of its removal, because the new plan is to launch the program from the terminal (and terminal navigation is okay)

Browse Source
This commit is contained in:
Humza Shahid
2025-08-26 15:36:39 +01:00
parent 6c9149bfaa
commit a98ca50cf5
14 changed files with 1 additions and 414 deletions
Download Patch File Download Diff File Expand all files Collapse all files

176
fcore/app-with.sml
View File

@@ -19,8 +19,6 @@ struct
, mouseX
, mouseY
, openFilePath
, fileBrowser
, fileBrowserIdx
, r
, g
, b
@@ -44,8 +42,6 @@ struct
, mouseX = mouseX
, mouseY = mouseY
, openFilePath = openFilePath
, fileBrowser = fileBrowser
, fileBrowserIdx = fileBrowserIdx
, r = r
, g = g
, b = b
@@ -73,8 +69,6 @@ struct
, mouseX
, mouseY
, openFilePath
, fileBrowser
, fileBrowserIdx
, r
, g
, b
@@ -98,8 +92,6 @@ struct
, mouseX = mouseX
, mouseY = mouseY
, openFilePath = openFilePath
, fileBrowser = fileBrowser
, fileBrowserIdx = fileBrowserIdx
, r = r
, g = g
, b = b
@@ -127,8 +119,6 @@ struct
, mouseX
, mouseY
, openFilePath
, fileBrowser
, fileBrowserIdx
, r
, g
, b
@@ -156,8 +146,6 @@ struct
, mouseX = mouseX
, mouseY = mouseY
, openFilePath = openFilePath
, fileBrowser = fileBrowser
, fileBrowserIdx = fileBrowserIdx
, r = r
, g = g
, b = b
@@ -185,8 +173,6 @@ struct
, showGraph
, openFilePath
, fileBrowser
, fileBrowserIdx
, r
, g
, b
@@ -210,8 +196,6 @@ struct
, showGraph = showGraph
, openFilePath = openFilePath
, fileBrowser = fileBrowser
, fileBrowserIdx = fileBrowserIdx
, r = r
, g = g
, b = b
@@ -239,8 +223,6 @@ struct
, showGraph = _
, openFilePath
, fileBrowser
, fileBrowserIdx
, r
, g
, b
@@ -264,8 +246,6 @@ struct
, showGraph = shouldShowGraph
, openFilePath = openFilePath
, fileBrowser = fileBrowser
, fileBrowserIdx = fileBrowserIdx
, r = r
, g = g
, b = b
@@ -293,8 +273,6 @@ struct
, showGraph
, openFilePath
, fileBrowser
, fileBrowserIdx
, r
, g
, b
@@ -318,116 +296,6 @@ struct
, showGraph = showGraph
, openFilePath = openFilePath
, fileBrowser = fileBrowser
, fileBrowserIdx = fileBrowserIdx
, r = r
, g = g
, b = b
, a = a
, layer = layer
, layerTree = layerTree
, modalNum = modalNum
}
end
fun fileBrowserAndPath (app: app_type, fileBrowser, path) =
let
val
{ mode
, mouseX
, mouseY
, xClickPoints
, yClickPoints
, windowWidth
, windowHeight
, arrowX
, arrowY
, canvasWidth
, canvasHeight
, showGraph
, openFilePath = _
, fileBrowser = _
, fileBrowserIdx
, r
, g
, b
, a
, layer
, layerTree
, modalNum
} = app
in
{ mode = mode
, mouseX = mouseX
, mouseY = mouseY
, arrowX = arrowX
, arrowY = arrowY
, canvasWidth = canvasWidth
, canvasHeight = canvasHeight
, windowWidth = windowWidth
, windowHeight = windowHeight
, xClickPoints = xClickPoints
, yClickPoints = yClickPoints
, showGraph = showGraph
, openFilePath = path
, fileBrowser = fileBrowser
, fileBrowserIdx = 0
, r = r
, g = g
, b = b
, a = a
, layer = layer
, layerTree = layerTree
, modalNum = modalNum
}
end
fun fileBrowserIdx (app: app_type, newFileBrowserIdx) =
let
val
{ mode
, mouseX
, mouseY
, xClickPoints
, yClickPoints
, windowWidth
, windowHeight
, arrowX
, arrowY
, canvasWidth
, canvasHeight
, showGraph
, openFilePath
, fileBrowser
, fileBrowserIdx = _
, r
, g
, b
, a
, layer
, layerTree
, modalNum
} = app
in
{ mode = mode
, mouseX = mouseX
, mouseY = mouseY
, arrowX = arrowX
, arrowY = arrowY
, canvasWidth = canvasWidth
, canvasHeight = canvasHeight
, windowWidth = windowWidth
, windowHeight = windowHeight
, xClickPoints = xClickPoints
, yClickPoints = yClickPoints
, showGraph = showGraph
, openFilePath = openFilePath
, fileBrowser = fileBrowser
, fileBrowserIdx = newFileBrowserIdx
, r = r
, g = g
, b = b
@@ -455,8 +323,6 @@ struct
, showGraph
, openFilePath
, fileBrowser
, fileBrowserIdx
, r
, g
, b
@@ -482,8 +348,6 @@ struct
, showGraph = showGraph
, openFilePath = openFilePath
, fileBrowser = fileBrowser
, fileBrowserIdx = fileBrowserIdx
, r = r
, g = g
, b = b
@@ -511,8 +375,6 @@ struct
, showGraph
, openFilePath
, fileBrowser
, fileBrowserIdx
, r = _
, g
, b
@@ -538,8 +400,6 @@ struct
, showGraph = showGraph
, openFilePath = openFilePath
, fileBrowser = fileBrowser
, fileBrowserIdx = fileBrowserIdx
, r = r
, g = g
, b = b
@@ -567,8 +427,6 @@ struct
, showGraph
, openFilePath
, fileBrowser
, fileBrowserIdx
, r
, g = _
, b
@@ -594,8 +452,6 @@ struct
, showGraph = showGraph
, openFilePath = openFilePath
, fileBrowser = fileBrowser
, fileBrowserIdx = fileBrowserIdx
, r = r
, g = g
, b = b
@@ -623,8 +479,6 @@ struct
, showGraph
, openFilePath
, fileBrowser
, fileBrowserIdx
, r
, g
, b = _
@@ -650,8 +504,6 @@ struct
, showGraph = showGraph
, openFilePath = openFilePath
, fileBrowser = fileBrowser
, fileBrowserIdx = fileBrowserIdx
, r = r
, g = g
, b = b
@@ -679,8 +531,6 @@ struct
, showGraph
, openFilePath
, fileBrowser
, fileBrowserIdx
, r
, g
, b
@@ -706,8 +556,6 @@ struct
, showGraph = showGraph
, openFilePath = openFilePath
, fileBrowser = fileBrowser
, fileBrowserIdx = fileBrowserIdx
, r = r
, g = g
, b = b
@@ -735,8 +583,6 @@ struct
, showGraph
, openFilePath
, fileBrowser
, fileBrowserIdx
, r
, g
, b
@@ -762,8 +608,6 @@ struct
, showGraph = showGraph
, openFilePath = openFilePath
, fileBrowser = fileBrowser
, fileBrowserIdx = fileBrowserIdx
, r = r
, g = g
, b = b
@@ -791,8 +635,6 @@ struct
, showGraph
, openFilePath
, fileBrowser
, fileBrowserIdx
, r
, g
, b
@@ -816,8 +658,6 @@ struct
, showGraph = showGraph
, openFilePath = openFilePath
, fileBrowser = fileBrowser
, fileBrowserIdx = fileBrowserIdx
, r = r
, g = g
, b = b
@@ -845,8 +685,6 @@ struct
, mouseX
, mouseY
, openFilePath
, fileBrowser
, fileBrowserIdx
, r
, g
, b
@@ -875,8 +713,6 @@ struct
, showGraph = showGraph
, openFilePath = openFilePath
, fileBrowser = fileBrowser
, fileBrowserIdx = fileBrowserIdx
, r = r
, g = g
, b = b
@@ -904,8 +740,6 @@ struct
, mouseX
, mouseY
, openFilePath
, fileBrowser
, fileBrowserIdx
, r
, g
, b
@@ -934,8 +768,6 @@ struct
, showGraph = showGraph
, openFilePath = openFilePath
, fileBrowser = fileBrowser
, fileBrowserIdx = fileBrowserIdx
, r = r
, g = g
, b = b
@@ -963,8 +795,6 @@ struct
, mouseX
, mouseY
, openFilePath
, fileBrowser
, fileBrowserIdx
, r = _
, g = _
, b = _
@@ -988,8 +818,6 @@ struct
, showGraph = showGraph
, openFilePath = openFilePath
, fileBrowser = fileBrowser
, fileBrowserIdx = fileBrowserIdx
, r = r
, g = g
, b = b
@@ -1018,8 +846,6 @@ struct
, showGraph
, openFilePath
, fileBrowser
, fileBrowserIdx
, r
, g
, b
@@ -1051,8 +877,6 @@ struct
, showGraph = showGraph
, openFilePath = openFilePath
, fileBrowser = fileBrowser
, fileBrowserIdx = fileBrowserIdx
, r = r
, g = g
, b = b