Allow non-ascii characters in push arguments. Closes: #2023.

diff --git a/keymap.c b/keymap.c
index b3ef1d3829bcda87367e3b3bdefc9b6eab2ee8cb..6a9b32148d4b1503ee41b01589a32aaf67245098 100644 (file)
--- a/keymap.c
+++ b/keymap.c
@@ -341,7 +341,7 @@ static void push_string (char *s)
        }
       }
     }
-    mutt_ungetch (*p--, 0);
+    mutt_ungetch ((unsigned char)*p--, 0);     /* independent 8 bits chars */
   }
 }