Do not run queued events if the last key was not typed.
authorDaniel Carl <danielcarl@gmx.de>
Fri, 21 Feb 2020 22:26:42 +0000 (23:26 +0100)
committerDaniel Carl <danielcarl@gmx.de>
Fri, 21 Feb 2020 22:26:42 +0000 (23:26 +0100)
Fixes #600.

src/map.c

index 4621fa6..ed5e599 100644 (file)
--- a/src/map.c
+++ b/src/map.c
@@ -382,7 +382,7 @@ gboolean on_map_keypress(GtkWidget *widget, GdkEventKey* event, Client *c)
     MapState res = map_handle_keys(c, string, len, true);
 
     if (res != MAP_AMBIGUOUS) {
-        if (!c->state.processed_key) {
+        if (c->state.typed && !c->state.processed_key) {
             /* events ready to be consumed */
             process_events();
         } else {