James Vega wrote:
On Sun, Sep 20, 2009 at 10:45 PM, Vitaly Minko <[email protected]> wrote:
Thanks for the update patch. When I forwarded your previous patch to
Bram, he mentioned that he had received a patch directly from you on the
same topic. Looking at the patches he released with fixes attributed to
you (7.2.263, 7.2.264), 7.2.264's description implies that it fixes the
issue in this bug but it uses a different approach than either
debian_fix_466088.patch or the updated patch.
Have you sent the updated patch to Bram? Is the updated patch still
needed based on the patches Bram released? I'll be glad to forward your
patch on to Bram, but I just wanted to verify its status first.
Thanks for your help!
This issue is still not fixed in the latest svn version. Both 7.2.263
and 7.2.264 patches fix another bugs. However, 7.2.264 affects the
current issue, because it implements the gui_mch_maximized. Therefore I
updated the patch again (see the attachment). And I didn't send the
updated patch to Bram.
Best regards,
Vitaly
diff -ur a/src/gui_gtk_x11.c b/src/gui_gtk_x11.c
--- a/src/gui_gtk_x11.c 2009-11-03 17:07:33.000000000 +0300
+++ b/src/gui_gtk_x11.c 2009-11-03 17:24:03.000000000 +0300
@@ -5267,8 +5267,21 @@
# endif
#endif /* !HAVE_GTK2 */
- /* Preserve the logical dimensions of the screen. */
- update_window_manager_hints(0, 0);
+#ifdef HAVE_GTK2
+ if (gui_mch_maximized())
+ {
+ /* Update shell size in accordance with the new font */
+ int w;
+ int h;
+ 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 /* HAVE_GTK2 */
+ /* Preserve the logical dimensions of the screen. */
+ update_window_manager_hints(0, 0);
return OK;
}
