overviewIndex = addPage(overview, getEditorInput());
setPageText(overviewIndex, EditorMessages.getString(OVERVIEW_LABEL_KEY));
designIndex = addPage(design, getEditorInput());
setPageText(designIndex, EditorMessages.getString(DESIGN_LABEL_KEY));
new SelectedVariantMonitor(context) {
// Javadoc inherited
public void readOnlyStateChanged(ReadOnlyStateChangedEvent event) {
boolean enableDesign = !event.isReadOnly();
if (enableDesign != design.isEnabled()) {
design.setEnabled(enableDesign);