add functionality to delete pixel

2025-07-11 23:47:28 +01:00
parent 86369db055
commit 973a1610ce
7 changed files with 110 additions and 5 deletions
--- a/ffi/glfw-input.sml
+++ b/ffi/glfw-input.sml
@@ -74,6 +74,8 @@ struct
    _symbol "KEY_RIGHT" public : ( unit -> int ) * ( int -> unit );
  val (KEY_DOWN, _) =
    _symbol "KEY_DOWN" public : ( unit -> int ) * ( int -> unit );
+  val (KEY_BACKSPACE, _) =
+    _symbol "KEY_BACKSPACE" public : ( unit -> int ) * ( int -> unit );

  val (KEY_0, _) =
    _symbol "KEY_0" public : ( unit -> int ) * ( int -> unit );