diff options
Diffstat (limited to 'src/gui_gtk_x11.c')
| -rw-r--r-- | src/gui_gtk_x11.c | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/gui_gtk_x11.c b/src/gui_gtk_x11.c index 6882733696..e1de83a68b 100644 --- a/src/gui_gtk_x11.c +++ b/src/gui_gtk_x11.c @@ -6317,10 +6317,11 @@ gui_mch_wait_for_chars(long wtime) timed_out = FALSE; - /* this timeout makes sure that we will return if no characters arrived in - * time */ - if (wtime > 0) - timer = timeout_add(wtime, input_timer_cb, &timed_out); + // This timeout makes sure that we will return if no characters arrived in + // time. If "wtime" is zero just use one. + if (wtime >= 0) + timer = timeout_add(wtime <= 0 ? 1L : wtime, + input_timer_cb, &timed_out); else timer = 0; |