mirror of
git://gcc.gnu.org/git/gcc.git
synced 2025-03-18 12:41:25 +08:00
GtkFramePeer.java (setMenuBar): Fix spacing.
2004-01-26 Kim Ho <kho@redhat.com> * gnu/java/awt/peer/gtk/GtkFramePeer.java (setMenuBar): Fix spacing. From-SVN: r76730
This commit is contained in:
parent
57e1391773
commit
f256503705
@ -1,3 +1,8 @@
|
||||
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
|
||||
|
@ -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();
|
||||
}
|
||||
|
Loading…
x
Reference in New Issue
Block a user