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.
This commit is contained in:
Ben Harris
2022-11-15 23:33:37 +00:00
parent 1b3a6bd204
commit 5157a18550

View File

@ -958,7 +958,7 @@ static bool midend_really_process_key(midend *me, int x, int y, int button,
midend_redraw(me); midend_redraw(me);
*handled = true; *handled = true;
goto done; /* never animate */ goto done; /* never animate */
} else if (button == 'u' || button == 'U' || } else if (button == 'u' || button == 'U' || button == '*' ||
button == '\x1A' || button == '\x1F' || button == '\x1A' || button == '\x1F' ||
button == UI_UNDO) { button == UI_UNDO) {
midend_stop_anim(me); 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)) if (!midend_undo(me))
goto done; goto done;
*handled = true; *handled = true;
} else if (button == 'r' || button == 'R' || } else if (button == 'r' || button == 'R' || button == '#' ||
button == '\x12' || button == '\x19' || button == '\x12' || button == '\x19' ||
button == UI_REDO) { button == UI_REDO) {
midend_stop_anim(me); midend_stop_anim(me);