add non-configurable escape button to input type, to be used as a way to go backwards or exit menu

This commit is contained in:
2025-02-20 13:32:37 +00:00
parent 9feae2bb0f
commit 6762a1b994
7 changed files with 23 additions and 2 deletions

View File

@@ -0,0 +1,4 @@
structure OptionsType =
struct
datatype focus =
end