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 e916bc7ee09..2209dbeeee0 100644 --- a/src/keyboard.c +++ b/src/keyboard.c | |||
| @@ -1582,7 +1582,7 @@ read_char (commandflag, nmaps, maps, prev_event, used_mouse_menu) | |||
| 1582 | { | 1582 | { |
| 1583 | c = read_char_minibuf_menu_prompt (commandflag, nmaps, maps); | 1583 | c = read_char_minibuf_menu_prompt (commandflag, nmaps, maps); |
| 1584 | if (! NILP (c)) | 1584 | if (! NILP (c)) |
| 1585 | return c; | 1585 | goto non_reread; |
| 1586 | } | 1586 | } |
| 1587 | 1587 | ||
| 1588 | /* If in middle of key sequence and minibuffer not active, | 1588 | /* If in middle of key sequence and minibuffer not active, |