diff options
Diffstat (limited to 'src/gui_gtk_x11.c')
| -rw-r--r-- | src/gui_gtk_x11.c | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/gui_gtk_x11.c b/src/gui_gtk_x11.c index 88559e534..1037ac213 100644 --- a/src/gui_gtk_x11.c +++ b/src/gui_gtk_x11.c @@ -3183,6 +3183,15 @@ on_tabline_menu(GtkWidget *widget, GdkEvent *event) 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 @@ on_tabline_menu(GtkWidget *widget, GdkEvent *event) gtk_main_quit(); } } + /* We didn't handle the event. */ return FALSE; } |