add functionality to delete pixel

This commit is contained in:
2025-07-11 23:55:12 +01:00
parent 973a1610ce
commit 22173a0cdb
3 changed files with 6 additions and 58 deletions

View File

@@ -3,13 +3,6 @@ $(SML_LIB)/basis/basis.mlb
(* FUNCTIONAL CORE *)
fcore/app-type.sml
ann
"allowVectorExps true"
in
fcore/ndc.sml
cozette-sml/fonts/cozette-ascii.mlb
end
fcore/graph-lines.sml
fcore/click-points.sml
fcore/app-init.sml
@@ -34,21 +27,6 @@ fcore/parse-file.sml
$(SML_LIB)/basis/mlton.mlb
$(SML_LIB)/cml/cml.mlb
ann
"allowFFI true"
in
ffi/gles3-import.sml
ffi/glfw-import.sml
ffi/glfw-input.sml
end
ann
"allowVectorExps true"
in
imperative-shell/constants.sml
imperative-shell/app-draw.sml
end
imperative-shell/input-callbacks.sml
imperative-shell/update-thread.sml