diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/keyboard.c | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/src/keyboard.c b/src/keyboard.c index dccc6b7f128..0d56ea3f7ac 100644 --- a/src/keyboard.c +++ b/src/keyboard.c | |||
| @@ -12011,12 +12011,7 @@ mark_kboards (void) | |||
| 12011 | for (event = kbd_fetch_ptr; event != kbd_store_ptr; event++) | 12011 | for (event = kbd_fetch_ptr; event != kbd_store_ptr; event++) |
| 12012 | { | 12012 | { |
| 12013 | if (event == kbd_buffer + KBD_BUFFER_SIZE) | 12013 | if (event == kbd_buffer + KBD_BUFFER_SIZE) |
| 12014 | { | 12014 | event = kbd_buffer; |
| 12015 | event = kbd_buffer; | ||
| 12016 | if (event == kbd_store_ptr) | ||
| 12017 | break; | ||
| 12018 | } | ||
| 12019 | |||
| 12020 | /* These two special event types has no Lisp_Objects to mark. */ | 12015 | /* These two special event types has no Lisp_Objects to mark. */ |
| 12021 | if (event->kind != SELECTION_REQUEST_EVENT | 12016 | if (event->kind != SELECTION_REQUEST_EVENT |
| 12022 | && event->kind != SELECTION_CLEAR_EVENT) | 12017 | && event->kind != SELECTION_CLEAR_EVENT) |