LOG.debug("open view " + newView);
workspace.addWindow(newView, new Placement(view));
workspace.markDamaged();
Options viewOptions = Properties.getViewConfigurationOptions(newSpec);
newView.saveOptions(viewOptions);
viewOptions = Properties.getUserViewSpecificationOptions(newSpec.getName());
viewOptions.addOption("design", specification.getClass().getName());
Toolkit.getViewFactory().addSpecification(newSpec);
}