diff options
author | Bram Moolenaar <Bram@vim.org> | 2004-09-02 19:12:26 +0000 |
---|---|---|
committer | Bram Moolenaar <Bram@vim.org> | 2004-09-02 19:12:26 +0000 |
commit | d4755bb0e04fca334675f1503bd6474b017a9bba (patch) | |
tree | 8be8df859191e78ee9eef80d3b341fd5d0c1b81b /src/gui_gtk_x11.c | |
parent | 269ec658f0fad22b2bf9f71b06a4e6e10277f0e5 (diff) |
updated for version 7.0014
Diffstat (limited to 'src/gui_gtk_x11.c')
-rw-r--r-- | src/gui_gtk_x11.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/gui_gtk_x11.c b/src/gui_gtk_x11.c index e36c85827f..aed649b277 100644 --- a/src/gui_gtk_x11.c +++ b/src/gui_gtk_x11.c @@ -5845,8 +5845,11 @@ gui_mch_wait_for_chars(long wtime) /* * Loop in GTK+ processing until a timeout or input occurs. + * Skip this if input is available anyway (can happen in rare + * situations, sort of race condition). */ - gtk_main(); + if (!input_available()) + gtk_main(); /* Got char, return immediately */ if (input_available()) |