change arrow keys (left, down, right) to letter keys (s, d, f) and arrow up to letter key 'k', because I think it is more comfortable

2024-12-20 16:51:21 +00:00
parent 1e2ebe066f
commit aeb3756e5b
6 changed files with 42 additions and 5 deletions
--- a/shell/gl-draw.sml
+++ b/shell/gl-draw.sml
@@ -173,7 +173,7 @@ struct
          val _ = draw shellState

          val _ = Glfw.swapBuffers window
-          val _ = Glfw.waitEvents ()
+          val _ = Glfw.pollEvents ()
        in
          helpLoop (shellState, game)
        end