From a7c785a58c21355a9011271a9cb0b0f28816a8fe Mon Sep 17 00:00:00 2001 From: fitzsim Date: Tue, 20 Jan 2004 20:56:53 +0000 Subject: 2004-01-20 Thomas Fitzsimmons * 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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@76227 138bc75d-0d04-0410-961f-82ee72b054a4 --- libjava/gnu/java/awt/peer/gtk/GtkFramePeer.java | 12 ++++++++++++ 1 file changed, 12 insertions(+) (limited to 'libjava/gnu/java/awt/peer/gtk/GtkFramePeer.java') diff --git a/libjava/gnu/java/awt/peer/gtk/GtkFramePeer.java b/libjava/gnu/java/awt/peer/gtk/GtkFramePeer.java index c5a6fc78388..c91779bfa2f 100644 --- 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) -- cgit v1.2.3