diff options
Diffstat (limited to 'src/gui_gtk_x11.c')
| -rw-r--r-- | src/gui_gtk_x11.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/gui_gtk_x11.c b/src/gui_gtk_x11.c index 480b8d3b83..cfbb36ce93 100644 --- a/src/gui_gtk_x11.c +++ b/src/gui_gtk_x11.c @@ -6643,6 +6643,12 @@ gui_mch_wait_for_chars(long wtime) focus = gui.in_focus; } +# if defined(FEAT_JOB_CHANNEL) + /* Using an event handler for a channel that may be disconnected does + * not work, it hangs. Instead poll for messages. */ + channel_handle_events(TRUE); +# endif + #ifdef MESSAGE_QUEUE # ifdef FEAT_TIMERS did_add_timer = FALSE; |