progress towards adding load functionality'

This commit is contained in:
2024-09-25 10:17:57 +01:00
parent d49ac2c565
commit 2528e67375
8 changed files with 73 additions and 9 deletions

View File

@@ -2,6 +2,8 @@ signature APP_WITH =
sig
val graphVisibility: AppType.app_type * bool -> AppType.app_type
val mode: AppType.app_type * AppType.app_mode -> AppType.app_type
val windowResize: AppType.app_type * int * int -> AppType.app_type
val mousePosition: AppType.app_type * Real32.real * Real32.real
@@ -489,6 +491,48 @@ struct
}
end
fun mode (app: app_type, newMode) =
let
val
{ mode = _
, triangleStage
, triangles
, numClickPoints
, xClickPoints
, yClickPoints
, windowWidth
, windowHeight
, undo
, redo
, mouseX
, mouseY
, arrowX
, arrowY
, showGraph
, openFilePath
, fileBrowser
} = app
in
{ mode = newMode
, showGraph = showGraph
, triangleStage = triangleStage
, triangles = triangles
, undo = undo
, redo = redo
, numClickPoints = numClickPoints
, xClickPoints = xClickPoints
, yClickPoints = yClickPoints
, windowWidth = windowWidth
, windowHeight = windowHeight
, mouseX = mouseX
, mouseY = mouseY
, arrowX = arrowX
, arrowY = arrowY
, openFilePath = openFilePath
, fileBrowser = fileBrowser
}
end
fun useTriangles (app: app_type, triangles) =
let
val