# HG changeset patch # User Christian Brabandt # Date 1462015805 -7200 # Node ID 08854bb267b2b6e0732fb6f24cb0a2763480f477 # Parent e29f984d1cc0b37dff7b72703289e958281fc6bf commit https://github.com/vim/vim/commit/0b6cf69c038b9af198542edc349ebe8e53a8f847 Author: Bram Moolenaar Date: Sat Apr 30 13:26:14 2016 +0200 patch 7.4.1803 Problem: GTK3 doesn't handle menu separaters properly. Solution: Use gtk_separator_menu_item_new(). (Kazunobu Kuriyama) diff --git a/src/gui_gtk.c b/src/gui_gtk.c --- a/src/gui_gtk.c +++ b/src/gui_gtk.c @@ -781,8 +781,12 @@ gui_mch_add_menu_item(vimmenu_T *menu, i if (menu_is_separator(menu->name)) { /* Separator: Just add it */ +# if GTK_CHECK_VERSION(3,0,0) + menu->id = gtk_separator_menu_item_new(); +# else menu->id = gtk_menu_item_new(); gtk_widget_set_sensitive(menu->id, FALSE); +# endif gtk_widget_show(menu->id); # if GTK_CHECK_VERSION(3,0,0) gtk_menu_shell_insert(GTK_MENU_SHELL(parent->submenu_id), diff --git a/src/version.c b/src/version.c --- a/src/version.c +++ b/src/version.c @@ -754,6 +754,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ /**/ + 1803, +/**/ 1802, /**/ 1801,