diff options
| -rw-r--r-- | libjava/ChangeLog | 5 | ||||
| -rw-r--r-- | libjava/gnu/java/awt/peer/gtk/GtkFramePeer.java | 2 |
2 files changed, 6 insertions, 1 deletions
diff --git a/libjava/ChangeLog b/libjava/ChangeLog index 10467cd..51e37ed 100644 --- a/libjava/ChangeLog +++ b/libjava/ChangeLog @@ -1,5 +1,10 @@ 2004-01-26 Kim Ho <kho@redhat.com> + * gnu/java/awt/peer/gtk/GtkFramePeer.java (setMenuBar): + Fix spacing. + +2004-01-26 Kim Ho <kho@redhat.com> + * gnu/java/awt/peer/gtk/GtkFramePeer.java (moveLayout): New method. (setMenuBar): Shift the Gtk layout up/down by the MenuBar diff --git a/libjava/gnu/java/awt/peer/gtk/GtkFramePeer.java b/libjava/gnu/java/awt/peer/gtk/GtkFramePeer.java index 0aa78fd..6bc1ca9 100644 --- a/libjava/gnu/java/awt/peer/gtk/GtkFramePeer.java +++ b/libjava/gnu/java/awt/peer/gtk/GtkFramePeer.java @@ -88,7 +88,7 @@ public class GtkFramePeer extends GtkWindowPeer setMenuBarPeer(menuBar); menuBarHeight = getMenuBarHeight (menuBar); if (oldHeight != menuBarHeight) - moveLayout(oldHeight-menuBarHeight); + moveLayout(oldHeight - menuBarHeight); insets.top += menuBarHeight; awtComponent.doLayout(); } |
