keyboard: implement keyboard_unread() without ungetch()

diff --git a/src/keyboard.c b/src/keyboard.c
index da0b5a20e6fd2dcfc6f95666925746591593b277..d990e3691e7854d011672527062f9d51fc7ede70 100644 (file)
--- a/src/keyboard.c
+++ b/src/keyboard.c
@@ -75,9 +75,7 @@ keyboard_init(void)
 void
 keyboard_unread(int key)
 {
-       ungetch(key);
-
-       command_t cmd = get_keyboard_command();
+       command_t cmd = translate_key(key);
        if (cmd != CMD_NONE)
                do_input_event(cmd);
 }