updated for version 7.0f02
diff --git a/src/gui_gtk_x11.c b/src/gui_gtk_x11.c
index 88559e5..1037ac2 100644
--- a/src/gui_gtk_x11.c
+++ b/src/gui_gtk_x11.c
@@ -3183,6 +3183,15 @@
GtkWidget *page;
GtkWidget *label;
+ /* When ignoring events return TRUE so that the selected page doesn't
+ * change. */
+ if (hold_gui_events
+# ifdef FEAT_CMDWIN
+ || cmdwin_type != 0
+# endif
+ )
+ return TRUE;
+
/* Find out where the click was. */
for (clicked_page = 1; ; ++clicked_page)
{
@@ -3217,6 +3226,7 @@
gtk_main_quit();
}
}
+
/* We didn't handle the event. */
return FALSE;
}