diff options
Diffstat (limited to 'libjava/gnu/java/awt/peer')
| -rw-r--r-- | libjava/gnu/java/awt/peer/gtk/GtkFramePeer.java | 2 |
1 files changed, 1 insertions, 1 deletions
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(); } |