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

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

diff --git a/libjava/ChangeLog b/libjava/ChangeLog
index a314a086092f4a6a38d6345880ecd1bb6862f2f3..f31d8080ec686db566555074ecc25c63d189e7c9 100644 (file)
--- a/libjava/ChangeLog
+++ b/libjava/ChangeLog
@@ -1,3 +1,9 @@
+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.

diff --git a/libjava/gnu/java/awt/peer/gtk/GtkFramePeer.java b/libjava/gnu/java/awt/peer/gtk/GtkFramePeer.java
index c5a6fc78388f38d21026998a565056cc950d324b..c91779bfa2f82f9dd089c91cc9d0de39fd36f17f 100644 (file)
--- a/libjava/gnu/java/awt/peer/gtk/GtkFramePeer.java
+++ b/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)