85 |
{ |
{ |
86 |
// Create a decorated dialog window. |
// Create a decorated dialog window. |
87 |
create (GDK_WINDOW_TYPE_HINT_DIALOG, true); |
create (GDK_WINDOW_TYPE_HINT_DIALOG, true); |
|
} |
|
|
|
|
|
public void getArgs (Component component, GtkArgList args) |
|
|
{ |
|
|
super.getArgs (component, args); |
|
88 |
|
|
89 |
Dialog dialog = (Dialog) component; |
Dialog dialog = (Dialog) awtComponent; |
90 |
|
|
91 |
args.add ("title", dialog.getTitle ()); |
gtkWindowSetModal (dialog.isModal ()); |
92 |
args.add ("modal", dialog.isModal ()); |
setTitle (dialog.getTitle ()); |
93 |
args.add ("allow_shrink", dialog.isResizable ()); |
setResizable (dialog.isResizable ()); |
|
args.add ("allow_grow", dialog.isResizable ()); |
|
94 |
} |
} |
95 |
} |
} |