patch 7.4.731
Problem: The tab menu shows "Close tab" even when it doesn't work.
Solution: Don't show "Close tab" for the last tab. (John Marriott)
diff --git a/src/gui_gtk_x11.c b/src/gui_gtk_x11.c
index 97ad6b0..5538446 100644
--- a/src/gui_gtk_x11.c
+++ b/src/gui_gtk_x11.c
@@ -2873,7 +2873,9 @@
GtkWidget *menu;
menu = gtk_menu_new();
- add_tabline_menu_item(menu, (char_u *)_("Close"), TABLINE_MENU_CLOSE);
+ if (first_tabpage->tp_next != NULL)
+ add_tabline_menu_item(menu, (char_u *)_("Close tab"),
+ TABLINE_MENU_CLOSE);
add_tabline_menu_item(menu, (char_u *)_("New tab"), TABLINE_MENU_NEW);
add_tabline_menu_item(menu, (char_u *)_("Open Tab..."), TABLINE_MENU_OPEN);