GtkFramePeer.java (setResizable): Override GtkWindowPeer's setResizable method…

GtkFramePeer.java (setResizable): Override GtkWindowPeer's setResizable method to account for menu bar height when...

2004-01-20  Thomas Fitzsimmons  <fitzsim@redhat.com>

	* gnu/java/awt/peer/gtk/GtkFramePeer.java (setResizable):
	Override GtkWindowPeer's setResizable method to account for menu
	bar height when setting the frame's size.

From-SVN: r76227

libjava/ChangeLog

+2004-01-20  Thomas Fitzsimmons  <fitzsim@redhat.com>
+
+	* gnu/java/awt/peer/gtk/GtkFramePeer.java (setResizable):
+	Override GtkWindowPeer's setResizable method to account for menu
+	bar height when setting the frame's size.
+
 2004-01-19  Matthias Klose  <doko@debian.org>
 
 	* libtool-version: Increased `current' to 6.

libjava/gnu/java/awt/peer/gtk/GtkFramePeer.java

@@ -79,6 +79,18 @@ public class GtkFramePeer extends GtkWindowPeer
     }
   }
 
+  public void setResizable (boolean resizable)
+  {
+    // Call setSize; otherwise when resizable is changed from true to
+    // false the frame will shrink to the dimensions it had before it
+    // was resizable.
+    setSize (awtComponent.getWidth() - insets.left - insets.right,
+             awtComponent.getHeight() - insets.top - insets.bottom
+             + menuBarHeight);
+    set ("allow_shrink", resizable);
+    set ("allow_grow", resizable);
+  }
+
   protected void postSizeAllocateEvent()
   {
     if (menuBar != null)