private static void writeMinimumSize(final Shell shell) throws IOException {
Point newValue = shell.getMinimumSize();
if (WidgetLCAUtil.hasChanged(shell, PROP_MINIMUM_SIZE, newValue)) {
// JSWriter writer = JSWriter.getWriterFor( shell );
// writer.set( "minWidth", new Integer( newValue.x ) );
// writer.set( "minHeight", new Integer( newValue.y ) );
IWidgetSynchronizer synchronizer = WidgetSynchronizerFactory.getSynchronizerForWidget(shell);
synchronizer.setWidgetProperty("minWidth", newValue.x);
synchronizer.setWidgetProperty("minHeight", newValue.y);
}
}
public void preserveValues(final Widget widget) {
ControlLCAUtil.preserveValues((Control) widget);
Shell shell = (Shell) widget;
IWidgetAdapter adapter = WidgetUtil.getAdapter(shell);
adapter.preserve(PROP_ACTIVE_CONTROL, getActiveControl(shell));
adapter.preserve(PROP_ACTIVE_SHELL, shell.getDisplay().getActiveShell());
adapter.preserve(PROP_TEXT, shell.getText());
adapter.preserve(PROP_IMAGE, shell.getImage());
adapter.preserve(PROP_ALPHA, new Integer(shell.getAlpha()));
adapter.preserve(PROP_MODE, getMode(shell));
adapter.preserve(PROP_FULLSCREEN, Boolean.valueOf(shell.getFullScreen()));
adapter.preserve(PROP_SHELL_LISTENER, Boolean.valueOf(ShellEvent.hasListener(shell)));
adapter.preserve(PROP_SHELL_MENU, shell.getMenuBar());
adapter.preserve(PROP_MINIMUM_SIZE, shell.getMinimumSize());
WidgetLCAUtil.preserveCustomVariant(shell);
}
