private static String getMode(final Shell shell) {
String result = null;
if (shell.getMinimized()) {
result = "minimized";
} else if (shell.getMaximized() || shell.getFullScreen()) {
result = "maximized";
}
return result;
}
private static void writeFullScreen(final Shell shell) throws IOException {
Object defValue = Boolean.FALSE;
Boolean newValue = Boolean.valueOf(shell.getFullScreen());
if (WidgetLCAUtil.hasChanged(shell, PROP_FULLSCREEN, newValue, defValue)) {
// JSWriter writer = JSWriter.getWriterFor( shell );
// writer.set( "fullScreen", newValue );
IWidgetSynchronizer synchronizer = WidgetSynchronizerFactory.getSynchronizerForWidget(shell);
synchronizer.setWidgetProperty("fullScreen", newValue);
}
}
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);
}
