commit 9c8791fde0dc9f8821db48a7ccf373fe90d506d9
author Bram Moolenaar <Bram@vim.org> Wed Sep 05 19:47:23 2007 +0000
committer Bram Moolenaar <Bram@vim.org> Wed Sep 05 19:47:23 2007 +0000
tree 1a109da6e3f4caa4fb16c0d9ba18610842a4f09d
parent 102e3a6164717521e3718b7afcd72820e8bae1fc

updated for version 7.1-095

src/gui_gtk_x11.c

diff --git a/src/gui_gtk_x11.c b/src/gui_gtk_x11.c
index 541240d..c5b1128 100644
--- a/src/gui_gtk_x11.c
+++ b/src/gui_gtk_x11.c
@@ -813,10 +813,15 @@
     if (blink_state == BLINK_NONE)
 	gui_mch_start_blink();
 
-    /* make sure keyboard input goes to the draw area (if this is focus for a window) */
+    /* make sure keyboard input goes to the draw area (if this is focus for a
+     * window) */
     if (widget != gui.drawarea)
 	gtk_widget_grab_focus(gui.drawarea);
 
+    /* make sure the input buffer is read */
+    if (gtk_main_level() > 0)
+	gtk_main_quit();
+
     return TRUE;
 }
 
@@ -829,6 +834,10 @@
     if (blink_state != BLINK_NONE)
 	gui_mch_stop_blink();
 
+    /* make sure the input buffer is read */
+    if (gtk_main_level() > 0)
+	gtk_main_quit();
+
     return TRUE;
 }