diff options
| author | Martin Rudalics | 2007-10-06 09:43:17 +0000 |
|---|---|---|
| committer | Martin Rudalics | 2007-10-06 09:43:17 +0000 |
| commit | 15d814840f6ce72ddb14824f06ad474e8696dbc4 (patch) | |
| tree | 5537c0a130b2cb1dfbb43a45a44f355f1b270dbb /src | |
| parent | f5578c7f65a267072b3c1599efc7696b0080fd89 (diff) | |
| download | emacs-15d814840f6ce72ddb14824f06ad474e8696dbc4.tar.gz emacs-15d814840f6ce72ddb14824f06ad474e8696dbc4.zip | |
(kbd_buffer_get_event): Break loop waiting for input
when there's an unread command event.
Diffstat (limited to 'src')
| -rw-r--r-- | src/keyboard.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/keyboard.c b/src/keyboard.c index c398a85684d..538c0a0d1b0 100644 --- a/src/keyboard.c +++ b/src/keyboard.c | |||
| @@ -3995,6 +3995,12 @@ kbd_buffer_get_event (kbp, used_mouse_menu, end_time) | |||
| 3995 | /* Wait until there is input available. */ | 3995 | /* Wait until there is input available. */ |
| 3996 | for (;;) | 3996 | for (;;) |
| 3997 | { | 3997 | { |
| 3998 | /* Break loop if there's an unread command event. Needed in | ||
| 3999 | moused window autoselection which uses a timer to insert such | ||
| 4000 | events. */ | ||
| 4001 | if (CONSP (Vunread_command_events)) | ||
| 4002 | break; | ||
| 4003 | |||
| 3998 | if (kbd_fetch_ptr != kbd_store_ptr) | 4004 | if (kbd_fetch_ptr != kbd_store_ptr) |
| 3999 | break; | 4005 | break; |
| 4000 | #ifdef HAVE_MOUSE | 4006 | #ifdef HAVE_MOUSE |