diff options
| author | Ben Harris <bjh21@bjh21.me.uk> | 2022-11-05 16:05:39 +0000 |
|---|---|---|
| committer | Ben Harris <bjh21@bjh21.me.uk> | 2022-11-08 10:27:19 +0000 |
| commit | 4a37f7cf782592b670d0180a38eb1fd680288421 (patch) | |
| tree | 5ddcad0f237d79bd8de158c1cb840f7ad5301958 /html/map.html | |
| parent | 4fdcc5497503658324fda2e0073d830276b24b60 (diff) | |
| download | puzzles-4a37f7cf782592b670d0180a38eb1fd680288421.zip puzzles-4a37f7cf782592b670d0180a38eb1fd680288421.tar.gz puzzles-4a37f7cf782592b670d0180a38eb1fd680288421.tar.bz2 puzzles-4a37f7cf782592b670d0180a38eb1fd680288421.tar.xz | |
Add a way for midend_process_key() to report whether it handled a keypress
This adds a new bool * argument, which can be NULL if front ends don't
care whether the keypress was handled. Currently they all do that.
Currently, "undo" and "redo" keys are treated as not handled if there's
no move to undo or redo. This may be a little too strict.
Diffstat (limited to 'html/map.html')
0 files changed, 0 insertions, 0 deletions