((JPanel) panel.getRealWidget()).setPreferredSize((Dimension) value);
if (dialog != null)
dialog.pack();
} else if ("helpid".equals(name)) {
if (helpBroker == null)
throw new GUIException("JavaHelp has not been activated");
if (value != null)
helpBroker.enableHelpKey(dialog.getRootPane(), (String) value, null);
} else if ("modal".equals(name)) {
isModal = ((Boolean) value).booleanValue();
} else if ("visible".equals(name)) {
throw new GUIException("Visible is not a settable property, use Dialog's 'show' method instead");
} else if ("location".equals(name)) {
location = (Point) value;
if (dialog != null)
dialog.setLocation((Point) value);
} else if ("default".equals(name)) {
defaultButton = (Button) value;
jDefaultButton = (JButton) defaultButton.getRealWidget();
if (dialog != null)
dialog.getRootPane().setDefaultButton(jDefaultButton);
} else if ("title".equals(name)) {
title = (String) value;
if (dialog != null)
dialog.setTitle(title);
} else {
if (dialog == null)
throw new GUIException("Property '" + name + "' is not yet supported by Dialog");
super.setProperty(name, value);
}
}