Humza Shahid 9c82a624b6 a little refactoring

2025-02-21 18:57:28 +00:00

..

options-type.sml

add 'tempKeys' field to OptionsType.options_type, so that any key binding changes in the menu do not take immediate effect (requires pressing 'save button' in order for changes to be saved and take effect)

2025-02-21 18:18:39 +00:00

options-update.sml

a little refactoring

2025-02-21 18:57:28 +00:00

options-vec.sml

highlight different options in red when they are (focused andalso selected)

2025-02-21 14:53:26 +00:00