diff options
Diffstat (limited to 'src/gui_gtk_x11.c')
| -rw-r--r-- | src/gui_gtk_x11.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/gui_gtk_x11.c b/src/gui_gtk_x11.c index 207e33eb38..d01a831b55 100644 --- a/src/gui_gtk_x11.c +++ b/src/gui_gtk_x11.c @@ -6476,6 +6476,11 @@ gui_mch_wait_for_chars(long wtime) focus = gui.in_focus; } +#if defined(FEAT_NETBEANS_INTG) + /* Process the queued netbeans messages. */ + netbeans_parse_messages(); +#endif + /* * Loop in GTK+ processing until a timeout or input occurs. * Skip this if input is available anyway (can happen in rare |