diff options
Diffstat (limited to 'src/keyboard.c')
| -rw-r--r-- | src/keyboard.c | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/keyboard.c b/src/keyboard.c index 678cf5abcbd..705e9191c61 100644 --- a/src/keyboard.c +++ b/src/keyboard.c | |||
| @@ -7117,7 +7117,12 @@ unblock_input_to (int level) | |||
| 7117 | /* End critical section. | 7117 | /* End critical section. |
| 7118 | 7118 | ||
| 7119 | If doing signal-driven input, and a signal came in when input was | 7119 | If doing signal-driven input, and a signal came in when input was |
| 7120 | blocked, reinvoke the signal handler now to deal with it. */ | 7120 | blocked, reinvoke the signal handler now to deal with it. |
| 7121 | |||
| 7122 | It will also process queued input, if it was not read before. | ||
| 7123 | When a longer code sequence does not use block/unblock input | ||
| 7124 | at all, the whole input gathered up to the next call to | ||
| 7125 | unblock_input will be processed inside that call. */ | ||
| 7121 | 7126 | ||
| 7122 | void | 7127 | void |
| 7123 | unblock_input (void) | 7128 | unblock_input (void) |