diff options
| -rw-r--r-- | src/xterm.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/xterm.c b/src/xterm.c index 5893fc8e84c..b772b4974b0 100644 --- a/src/xterm.c +++ b/src/xterm.c | |||
| @@ -5846,7 +5846,7 @@ x_make_frame_visible (f) | |||
| 5846 | /* It could be confusing if a real alarm arrives while processing | 5846 | /* It could be confusing if a real alarm arrives while processing |
| 5847 | the fake one. Turn it off and let the handler reset it. */ | 5847 | the fake one. Turn it off and let the handler reset it. */ |
| 5848 | alarm (0); | 5848 | alarm (0); |
| 5849 | input_poll_signal (); | 5849 | input_poll_signal (0); |
| 5850 | } | 5850 | } |
| 5851 | /* Once we have handled input events, | 5851 | /* Once we have handled input events, |
| 5852 | we should have received the MapNotify if one is coming. | 5852 | we should have received the MapNotify if one is coming. |