diff options
author | Bram Moolenaar <Bram@vim.org> | 2006-04-12 21:52:12 +0000 |
---|---|---|
committer | Bram Moolenaar <Bram@vim.org> | 2006-04-12 21:52:12 +0000 |
commit | 18144c84231aee36ae1d11b74941c9b318f1706a (patch) | |
tree | 6b9cf7e0337cd5966089e795c9278a1a86f9d5c1 /src/gui.c | |
parent | 4c3f536f472c7443ed4f672ae6d35a28805d7641 (diff) | |
download | vim-git-18144c84231aee36ae1d11b74941c9b318f1706a.tar.gz |
updated for version 7.0d02v7.0d02
Diffstat (limited to 'src/gui.c')
-rw-r--r-- | src/gui.c | 13 |
1 files changed, 13 insertions, 0 deletions
@@ -548,6 +548,19 @@ gui_init() #if defined(FEAT_GUI_GTK) /* Give GTK+ a chance to put all widget's into place. */ gui_mch_update(); + +# ifdef FEAT_MENU + /* If there is no 'm' in 'guioptions' we need to remove the menu now. + * It was still there to make F10 work. */ + if (vim_strchr(p_go, GO_MENUS) == NULL) + { + --gui.starting; + gui_mch_enable_menu(FALSE); + ++gui.starting; + gui_mch_update(); + } +# endif + /* Now make sure the shell fits on the screen. */ gui_set_shellsize(FALSE, TRUE, RESIZE_BOTH); #endif |