diff options
| author | Bram Moolenaar <Bram@vim.org> | 2006-02-15 22:18:42 +0000 |
|---|---|---|
| committer | Bram Moolenaar <Bram@vim.org> | 2006-02-15 22:18:42 +0000 |
| commit | 4c7ed462cb7813730b4f15f9cb09f1b26d097fca (patch) | |
| tree | cbca54821fdbaeb62a5c92ef875c8b8df54813c3 /src/gui_gtk_x11.c | |
| parent | e45828b593d8308535b80ef17fe660ead6fab533 (diff) | |
updated for version 7.0198v7.0198
Diffstat (limited to 'src/gui_gtk_x11.c')
| -rw-r--r-- | src/gui_gtk_x11.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/gui_gtk_x11.c b/src/gui_gtk_x11.c index 1502e0c1c0..c608f9d4ad 100644 --- a/src/gui_gtk_x11.c +++ b/src/gui_gtk_x11.c @@ -3456,6 +3456,9 @@ update_window_manager_hints(void) * otherwise the hints don't work. */ width = gui_get_base_width(); height = gui_get_base_height(); +# ifdef FEAT_MENU + height += tabpageline_height() * gui.char_height; +# endif # ifdef HAVE_GTK2 width += get_menu_tool_width(); height += get_menu_tool_height(); |