diff options
| author | Ben Harris <bjh21@bjh21.me.uk> | 2022-11-15 23:33:37 +0000 |
|---|---|---|
| committer | Ben Harris <bjh21@bjh21.me.uk> | 2022-11-15 23:48:32 +0000 |
| commit | 5157a18550706de319ddb4d723490f5055531368 (patch) | |
| tree | d97963f7baac2760ac2523c5b9d0bf6515edcd36 /midend.c | |
| parent | 1b3a6bd2044d074c506cbd22327b3314e43d055a (diff) | |
| download | puzzles-5157a18550706de319ddb4d723490f5055531368.zip puzzles-5157a18550706de319ddb4d723490f5055531368.tar.gz puzzles-5157a18550706de319ddb4d723490f5055531368.tar.bz2 puzzles-5157a18550706de319ddb4d723490f5055531368.tar.xz | |
Extra key mappings: '*' to undo and '#' to redo
This is what I keep expecting on my phone. Implemented in the mid-end
since no backend currently uses those keys.
Diffstat (limited to 'midend.c')
| -rw-r--r-- | midend.c | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -958,7 +958,7 @@ static bool midend_really_process_key(midend *me, int x, int y, int button, midend_redraw(me); *handled = true; goto done; /* never animate */ - } else if (button == 'u' || button == 'U' || + } else if (button == 'u' || button == 'U' || button == '*' || button == '\x1A' || button == '\x1F' || button == UI_UNDO) { midend_stop_anim(me); @@ -967,7 +967,7 @@ static bool midend_really_process_key(midend *me, int x, int y, int button, if (!midend_undo(me)) goto done; *handled = true; - } else if (button == 'r' || button == 'R' || + } else if (button == 'r' || button == 'R' || button == '#' || button == '\x12' || button == '\x19' || button == UI_REDO) { midend_stop_anim(me); |