summaryrefslogtreecommitdiff
path: root/libjava/gnu
diff options
context:
space:
mode:
Diffstat (limited to 'libjava/gnu')
-rw-r--r--libjava/gnu/java/awt/peer/gtk/GtkFramePeer.java28
1 files changed, 20 insertions, 8 deletions
diff --git a/libjava/gnu/java/awt/peer/gtk/GtkFramePeer.java b/libjava/gnu/java/awt/peer/gtk/GtkFramePeer.java
index 3b69b029bae..0aa78fddef6 100644
--- a/libjava/gnu/java/awt/peer/gtk/GtkFramePeer.java
+++ b/libjava/gnu/java/awt/peer/gtk/GtkFramePeer.java
@@ -59,24 +59,36 @@ public class GtkFramePeer extends GtkWindowPeer
native void setMenuBarPeer (MenuBarPeer bar);
native void removeMenuBarPeer (MenuBarPeer bar);
+ native void moveLayout (int offset);
public void setMenuBar (MenuBar bar)
{
- if (bar == null && menuBar != null)
+ if (bar == null)
{
- removeMenuBarPeer(menuBar);
- menuBar = null;
- insets.top -= menuBarHeight;
- menuBarHeight = 0;
- awtComponent.doLayout();
+ if (menuBar != null)
+ {
+ removeMenuBarPeer(menuBar);
+ menuBar = null;
+ moveLayout(menuBarHeight);
+ insets.top -= menuBarHeight;
+ menuBarHeight = 0;
+ awtComponent.doLayout();
+ }
}
- else if (bar != null)
+ else
{
+ int oldHeight = 0;
if (menuBar != null)
+ {
removeMenuBarPeer(menuBar);
+ oldHeight = menuBarHeight;
+ insets.top -= menuBarHeight;
+ }
menuBar = (MenuBarPeer) ((MenuBar) bar).getPeer();
- setMenuBarPeer(menuBar);
+ setMenuBarPeer(menuBar);
menuBarHeight = getMenuBarHeight (menuBar);
+ if (oldHeight != menuBarHeight)
+ moveLayout(oldHeight-menuBarHeight);
insets.top += menuBarHeight;
awtComponent.doLayout();
}