115 |
setSize (awtComponent.getWidth() - insets.left - insets.right, |
setSize (awtComponent.getWidth() - insets.left - insets.right, |
116 |
awtComponent.getHeight() - insets.top - insets.bottom |
awtComponent.getHeight() - insets.top - insets.bottom |
117 |
+ menuBarHeight); |
+ menuBarHeight); |
118 |
set ("allow_shrink", resizable); |
gtkWindowSetResizable (resizable); |
119 |
set ("allow_grow", resizable); |
} |
120 |
} |
|
|
|
|
121 |
protected void postInsetsChangedEvent (int top, int left, |
protected void postInsetsChangedEvent (int top, int left, |
122 |
int bottom, int right) |
int bottom, int right) |
123 |
{ |
{ |
136 |
{ |
{ |
137 |
// Create a normal decorated window. |
// Create a normal decorated window. |
138 |
create (GDK_WINDOW_TYPE_HINT_NORMAL, true); |
create (GDK_WINDOW_TYPE_HINT_NORMAL, true); |
|
setMenuBar(((Frame) awtComponent).getMenuBar()); |
|
|
awtComponent.setForeground(java.awt.SystemColor.windowText); |
|
|
} |
|
139 |
|
|
140 |
public void getArgs (Component component, GtkArgList args) |
Frame frame = (Frame) awtComponent; |
|
{ |
|
|
super.getArgs (component, args); |
|
141 |
|
|
142 |
Frame frame = (Frame) component; |
setMenuBar (frame.getMenuBar ()); |
143 |
|
|
144 |
args.add ("title", frame.getTitle ()); |
setTitle (frame.getTitle ()); |
145 |
args.add ("allow_shrink", frame.isResizable ()); |
setResizable (frame.isResizable ()); |
|
args.add ("allow_grow", frame.isResizable ()); |
|
146 |
} |
} |
147 |
|
|
148 |
public void setIconImage (Image image) |
public void setIconImage (Image image) |