private void writeAlpha(final Shell shell) throws IOException {
int alpha = shell.getAlpha();
if (WidgetLCAUtil.hasChanged(shell, PROP_ALPHA, new Integer(alpha), new Integer(0xFF))) {
// JSWriter writer = JSWriter.getWriterFor( shell );
float opacity = (alpha & 0xFF) * 1000 / 0xFF / 1000.0f;
// writer.set( "opacity", opacity );
IWidgetSynchronizer synchronizer = WidgetSynchronizerFactory.getSynchronizerForWidget(shell);
synchronizer.setWidgetProperty("opacity", opacity);
}
}
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);
}