87 |
gtkFixedSetVisible (false); |
gtkFixedSetVisible (false); |
88 |
menuBar = (MenuBarPeer) ((MenuBar) bar).getPeer(); |
menuBar = (MenuBarPeer) ((MenuBar) bar).getPeer(); |
89 |
setMenuBarPeer (menuBar); |
setMenuBarPeer (menuBar); |
90 |
|
int menuBarWidth = |
91 |
|
awtComponent.getWidth () - insets.left - insets.right; |
92 |
|
setMenuBarWidth (menuBar, menuBarWidth); |
93 |
menuBarHeight = getMenuBarHeight (); |
menuBarHeight = getMenuBarHeight (); |
94 |
insets.top += menuBarHeight; |
insets.top += menuBarHeight; |
95 |
awtComponent.validate (); |
awtComponent.validate (); |
101 |
gtkFixedSetVisible (false); |
gtkFixedSetVisible (false); |
102 |
removeMenuBarPeer(); |
removeMenuBarPeer(); |
103 |
int oldHeight = menuBarHeight; |
int oldHeight = menuBarHeight; |
104 |
|
int menuBarWidth = |
105 |
|
awtComponent.getWidth () - insets.left - insets.right; |
106 |
menuBar = (MenuBarPeer) ((MenuBar) bar).getPeer (); |
menuBar = (MenuBarPeer) ((MenuBar) bar).getPeer (); |
107 |
setMenuBarPeer (menuBar); |
setMenuBarPeer (menuBar); |
108 |
|
setMenuBarWidth (menuBar, menuBarWidth); |
109 |
menuBarHeight = getMenuBarHeight (); |
menuBarHeight = getMenuBarHeight (); |
110 |
if (oldHeight != menuBarHeight) |
if (oldHeight != menuBarHeight) |
111 |
{ |
{ |