Patch: FYI: small GtkFramePeer fix

[Thomas Fitzsimmons]

Hi,

I merged this change in from libgcj.

Tom

2004-01-27  Thomas Fitzsimmons  <address@hidden>

        * 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.


Index: gnu/java/awt/peer/gtk/GtkFramePeer.java
===================================================================
RCS file:
/cvsroot/classpath/classpath/gnu/java/awt/peer/gtk/GtkFramePeer.java,v
retrieving revision 1.20
diff -u -r1.20 GtkFramePeer.java
--- gnu/java/awt/peer/gtk/GtkFramePeer.java     27 Jan 2004 22:30:38
-0000   1.20
+++ gnu/java/awt/peer/gtk/GtkFramePeer.java     27 Jan 2004 23:21:14 -0000
@@ -149,7 +149,19 @@
     g.translate (-insets.left, -insets.top);
     return g;
   }
-  
+
+  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 postConfigureEvent (int x, int y, int width, int
height)
   {
     int frame_x = x - insets.left;