diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/keyboard.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/keyboard.c b/src/keyboard.c index a9bb02bb896..f1b577ed70f 100644 --- a/src/keyboard.c +++ b/src/keyboard.c | |||
| @@ -1485,7 +1485,7 @@ read_char (commandflag, nmaps, maps, prev_event, used_mouse_menu) | |||
| 1485 | } | 1485 | } |
| 1486 | 1486 | ||
| 1487 | /* Actually read a character, waiting if necessary. */ | 1487 | /* Actually read a character, waiting if necessary. */ |
| 1488 | while (1) | 1488 | while (NILP (c)) |
| 1489 | { | 1489 | { |
| 1490 | c = kbd_buffer_get_event (); | 1490 | c = kbd_buffer_get_event (); |
| 1491 | if (!NILP (c)) | 1491 | if (!NILP (c)) |