diff options
| author | fitzsim <fitzsim@138bc75d-0d04-0410-961f-82ee72b054a4> | 2004-01-20 20:56:53 +0000 |
|---|---|---|
| committer | fitzsim <fitzsim@138bc75d-0d04-0410-961f-82ee72b054a4> | 2004-01-20 20:56:53 +0000 |
| commit | a7c785a58c21355a9011271a9cb0b0f28816a8fe (patch) | |
| tree | c37671a47b3486f67faa478b4f67c0162a6e5a1d /libjava | |
| parent | 69d7e1984cf4f8a26a9b0ca1e9fe1185cf59a43d (diff) | |
| download | ppe42-gcc-a7c785a58c21355a9011271a9cb0b0f28816a8fe.tar.gz ppe42-gcc-a7c785a58c21355a9011271a9cb0b0f28816a8fe.zip | |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@76227 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'libjava')
| -rw-r--r-- | libjava/ChangeLog | 6 | ||||
| -rw-r--r-- | libjava/gnu/java/awt/peer/gtk/GtkFramePeer.java | 12 |
2 files changed, 18 insertions, 0 deletions
diff --git a/libjava/ChangeLog b/libjava/ChangeLog index a314a086092..f31d8080ec6 100644 --- 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 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) |
