updated for version 7.0021
diff --git a/src/gui_gtk_x11.c b/src/gui_gtk_x11.c
index 6d6d55d..b67b6f2 100644
--- a/src/gui_gtk_x11.c
+++ b/src/gui_gtk_x11.c
@@ -3080,6 +3080,17 @@
gui.menubar = gtk_menu_bar_new();
gtk_widget_set_name(gui.menubar, "vim-menubar");
+# ifdef HAVE_GTK2
+ /* Avoid that GTK takes <F10> away from us. */
+ {
+ GtkSettings *gtk_settings;
+
+ gtk_settings = gtk_settings_get_for_screen(gdk_screen_get_default());
+ g_object_set(gtk_settings, "gtk-menu-bar-accel", NULL, NULL);
+ }
+# endif
+
+
# ifdef FEAT_GUI_GNOME
if (using_gnome)
{