165 |
setMenuBar (frame.getMenuBar ()); |
setMenuBar (frame.getMenuBar ()); |
166 |
|
|
167 |
setTitle (frame.getTitle ()); |
setTitle (frame.getTitle ()); |
168 |
setResizable (frame.isResizable ()); |
gtkWindowSetResizable (frame.isResizable ()); |
169 |
setIconImage(frame.getIconImage()); |
setIconImage(frame.getIconImage()); |
170 |
} |
} |
171 |
|
|
237 |
frame_y, |
frame_y, |
238 |
frame_width, |
frame_width, |
239 |
frame_height); |
frame_height); |
|
} |
|
240 |
|
|
241 |
awtComponent.validate(); |
awtComponent.validate(); |
242 |
|
} |
243 |
} |
} |
244 |
|
|
245 |
protected void postMouseEvent(int id, long when, int mods, int x, int y, |
protected void postMouseEvent(int id, long when, int mods, int x, int y, |