From 7265da3c262076c970956cde581d838af7c7c52b Mon Sep 17 00:00:00 2001 From: vimboss Date: Tue, 3 Nov 2009 17:13:59 +0000 Subject: updated for version 7.2-283 --- src/gui_gtk_x11.c | 20 ++++++++++++++++++-- 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 @@ -676,6 +676,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ +/**/ + 283, /**/ 282, /**/ -- cgit v1.2.1