diff options
| author | vimboss <devnull@localhost> | 2009-11-03 17:13:59 +0000 |
|---|---|---|
| committer | vimboss <devnull@localhost> | 2009-11-03 17:13:59 +0000 |
| commit | 7265da3c262076c970956cde581d838af7c7c52b (patch) | |
| tree | 91bdee2cc1d6f82eb1ebb94fb3a4cab44903dd5a | |
| parent | c4c8a613dd9428560a06ddd8d3ea0bf19f5e4816 (diff) | |
| download | vim-7265da3c262076c970956cde581d838af7c7c52b.tar.gz | |
| -rw-r--r-- | src/gui_gtk_x11.c | 20 | ||||
| -rw-r--r-- | src/version.c | 2 |
2 files changed, 20 insertions, 2 deletions
diff --git a/src/gui_gtk_x11.c b/src/gui_gtk_x11.c index ad6fc25e..de8f265e 100644 --- a/src/gui_gtk_x11.c +++ b/src/gui_gtk_x11.c @@ -5267,8 +5267,24 @@ gui_mch_init_font(char_u *font_name, int fontset UNUSED) # endif #endif /* !HAVE_GTK2 */ - /* Preserve the logical dimensions of the screen. */ - update_window_manager_hints(0, 0); +#ifdef HAVE_GTK2 + if (gui_mch_maximized()) + { + int w, h; + + /* Update lines and columns in accordance with the new font, keep the + * window maximized. */ + gtk_window_get_size(GTK_WINDOW(gui.mainwin), &w, &h); + w -= get_menu_tool_width(); + h -= get_menu_tool_height(); + gui_resize_shell(w, h); + } + else +#endif + { + /* Preserve the logical dimensions of the screen. */ + update_window_manager_hints(0, 0); + } return OK; } diff --git a/src/version.c b/src/version.c index c50d15cc..83af0958 100644 --- a/src/version.c +++ b/src/version.c @@ -677,6 +677,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ /**/ + 283, +/**/ 282, /**/ 281, |