Try this patch please. It works fine for me.
--- src/gui_gtk_x11.c.orig      2009-07-22 19:05:21.000000000 +0400
+++ src/gui_gtk_x11.c   2009-07-22 19:12:23.000000000 +0400
@@ -5231,6 +5231,20 @@
 # endif
 #endif /* !HAVE_GTK2 */
 
+#ifdef HAVE_GTK2
+    if (gui.mainwin != NULL && gdk_window_get_state(gui.mainwin->window) &
+        GDK_WINDOW_STATE_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
     /* Preserve the logical dimensions of the screen. */
     update_window_manager_hints(0, 0);
 

Reply via email to