From 5157a18550706de319ddb4d723490f5055531368 Mon Sep 17 00:00:00 2001 From: Ben Harris Date: Tue, 15 Nov 2022 23:33:37 +0000 Subject: [PATCH] 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. --- midend.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/midend.c b/midend.c index 3748c47..b89de50 100644 --- a/midend.c +++ b/midend.c @@ -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);