/**
* <copyright>
* </copyright>
*
*
*/
package org.feature.multi.perspective.mapping.viewmapping.resource.mtext.ui;
/**
* Preference page for configuring syntax coloring.
* <p><i>Parts of the code were taken from the JDT Java Editor</i>
*/
public class MtextSyntaxColoringPreferencePage extends org.eclipse.jface.preference.PreferencePage implements org.eclipse.ui.IWorkbenchPreferencePage {
private final static java.util.Map<String, java.util.List<HighlightingColorListItem>> content = new java.util.LinkedHashMap<String, java.util.List<HighlightingColorListItem>>();
private final static java.util.Collection<IChangedPreference> changedPreferences = new java.util.ArrayList<IChangedPreference>();
public MtextSyntaxColoringPreferencePage() {
super();
org.feature.multi.perspective.mapping.viewmapping.resource.mtext.mopp.MtextMetaInformation metaInformation = new org.feature.multi.perspective.mapping.viewmapping.resource.mtext.mopp.MtextMetaInformation();
String languageId = metaInformation.getSyntaxName();
java.util.List<HighlightingColorListItem> terminals = new java.util.ArrayList<HighlightingColorListItem>();
String[] tokenNames = metaInformation.getSyntaxHighlightableTokenNames();
for (int i = 0; i < tokenNames.length; i++) {
HighlightingColorListItem item = new HighlightingColorListItem(languageId, tokenNames[i]);
terminals.add(item);
}
java.util.Collections.sort(terminals);
content.put(languageId, terminals);
setPreferenceStore(org.feature.multi.perspective.mapping.viewmapping.resource.mtext.ui.MtextUIPlugin.getDefault().getPreferenceStore());
setDescription("Configure syntax coloring for ." + languageId + " files.");
}
private interface IChangedPreference {
public void apply(org.eclipse.jface.preference.IPreferenceStore store);
}
private abstract static class AbstractChangedPreference implements IChangedPreference {
private String key;
public AbstractChangedPreference(String key) {
super();
this.key = key;
}
public String getKey() {
return key;
}
}
private static class ChangedBooleanPreference extends AbstractChangedPreference {
private boolean newValue;
public ChangedBooleanPreference(String key, boolean newValue) {
super(key);
this.newValue = newValue;
}
public void apply(org.eclipse.jface.preference.IPreferenceStore store) {
store.setValue(getKey(), newValue);
}
}
private static class ChangedRGBPreference extends AbstractChangedPreference {
private org.eclipse.swt.graphics.RGB newValue;
public ChangedRGBPreference(String key, org.eclipse.swt.graphics.RGB newValue) {
super(key);
this.newValue = newValue;
}
public void apply(org.eclipse.jface.preference.IPreferenceStore store) {
org.eclipse.jface.preference.PreferenceConverter.setValue(store, getKey(), newValue);
}
}
/**
* Item in the highlighting color list.
*/
private static class HighlightingColorListItem implements Comparable<HighlightingColorListItem> {
/**
* Display name
*/
private String fDisplayName;
/**
* Color preference key
*/
private String fColorKey;
/**
* Bold preference key
*/
private String fBoldKey;
/**
* Italic preference key
*/
private String fItalicKey;
/**
* Strikethrough preference key.
*/
private String fStrikethroughKey;
/**
* Underline preference key.
*/
private String fUnderlineKey;
private String fEnableKey;
/**
* Initializes a new item with the given values.
*/
public HighlightingColorListItem(String languageID, String tokenName) {
fDisplayName = tokenName;
fColorKey = org.feature.multi.perspective.mapping.viewmapping.resource.mtext.ui.MtextSyntaxColoringHelper.getPreferenceKey(languageID, tokenName, org.feature.multi.perspective.mapping.viewmapping.resource.mtext.ui.MtextSyntaxColoringHelper.StyleProperty.COLOR);
fBoldKey = org.feature.multi.perspective.mapping.viewmapping.resource.mtext.ui.MtextSyntaxColoringHelper.getPreferenceKey(languageID, tokenName, org.feature.multi.perspective.mapping.viewmapping.resource.mtext.ui.MtextSyntaxColoringHelper.StyleProperty.BOLD);
fItalicKey = org.feature.multi.perspective.mapping.viewmapping.resource.mtext.ui.MtextSyntaxColoringHelper.getPreferenceKey(languageID, tokenName, org.feature.multi.perspective.mapping.viewmapping.resource.mtext.ui.MtextSyntaxColoringHelper.StyleProperty.ITALIC);
fStrikethroughKey = org.feature.multi.perspective.mapping.viewmapping.resource.mtext.ui.MtextSyntaxColoringHelper.getPreferenceKey(languageID, tokenName, org.feature.multi.perspective.mapping.viewmapping.resource.mtext.ui.MtextSyntaxColoringHelper.StyleProperty.STRIKETHROUGH);
fUnderlineKey = org.feature.multi.perspective.mapping.viewmapping.resource.mtext.ui.MtextSyntaxColoringHelper.getPreferenceKey(languageID, tokenName, org.feature.multi.perspective.mapping.viewmapping.resource.mtext.ui.MtextSyntaxColoringHelper.StyleProperty.UNDERLINE);
fEnableKey = org.feature.multi.perspective.mapping.viewmapping.resource.mtext.ui.MtextSyntaxColoringHelper.getPreferenceKey(languageID, tokenName, org.feature.multi.perspective.mapping.viewmapping.resource.mtext.ui.MtextSyntaxColoringHelper.StyleProperty.ENABLE);
}
/**
*
* @return the bold preference key
*/
public String getBoldKey() {
return fBoldKey;
}
/**
*
* @return the italic preference key
*/
public String getItalicKey() {
return fItalicKey;
}
/**
*
* @return the strikethrough preference key
*/
public String getStrikethroughKey() {
return fStrikethroughKey;
}
/**
*
* @return the underline preference key
*/
public String getUnderlineKey() {
return fUnderlineKey;
}
/**
*
* @return the color preference key
*/
public String getColorKey() {
return fColorKey;
}
/**
*
* @return the display name
*/
public String getDisplayName() {
return fDisplayName;
}
public String getEnableKey() {
return fEnableKey;
}
public int compareTo(HighlightingColorListItem o) {
return fDisplayName.compareTo(o.getDisplayName());
}
}
/**
* Color list label provider.
*/
private class ColorListLabelProvider extends org.eclipse.jface.viewers.LabelProvider {
public String getText(Object element) {
if (element instanceof String) {
return (String) element;
}
String displayName = ((HighlightingColorListItem) element).getDisplayName();
if (displayName.startsWith("QUOTED_")) {
String[] parts = displayName.split("_");
if (parts.length == 3) {
if (parts[1].length() == 2 && parts[2].length() == 2) {
// Convert decimal ascii codes to string
try {
char prefix = (char) Integer.parseInt(parts[1]);
char suffix = (char) Integer.parseInt(parts[2]);
displayName = prefix + "..." + suffix;
} catch (NumberFormatException nfe) {
// ignore
}
}
}
}
return displayName;
}
}
/**
* Color list content provider.
*/
private class ColorListContentProvider implements org.eclipse.jface.viewers.ITreeContentProvider {
public ColorListContentProvider() {
super();
}
public Object[] getElements(Object inputElement) {
java.util.List<HighlightingColorListItem> contentsList = new java.util.ArrayList<HighlightingColorListItem>();
for (java.util.List<HighlightingColorListItem> l : content.values()) {
contentsList.addAll(l);
}
return contentsList.toArray();
}
public void dispose() {
}
public void inputChanged(org.eclipse.jface.viewers.Viewer viewer, Object oldInput, Object newInput) {
}
public Object[] getChildren(Object parentElement) {
return new Object[0];
}
public Object getParent(Object element) {
return null;
}
public boolean hasChildren(Object element) {
return false;
}
}
private org.eclipse.jface.preference.ColorSelector fSyntaxForegroundColorEditor;
private org.eclipse.swt.widgets.Label fColorEditorLabel;
private org.eclipse.swt.widgets.Button fBoldCheckBox;
private org.eclipse.swt.widgets.Button fEnableCheckbox;
/**
* Check box for italic preference.
*/
private org.eclipse.swt.widgets.Button fItalicCheckBox;
/**
* Check box for strikethrough preference.
*/
private org.eclipse.swt.widgets.Button fStrikethroughCheckBox;
/**
* Check box for underline preference.
*/
private org.eclipse.swt.widgets.Button fUnderlineCheckBox;
private org.eclipse.swt.widgets.Button fForegroundColorButton;
/**
* Highlighting color list viewer
*/
private org.eclipse.jface.viewers.StructuredViewer fListViewer;
public void dispose() {
super.dispose();
}
private void handleSyntaxColorListSelection() {
HighlightingColorListItem item = getHighlightingColorListItem();
if (item == null) {
fEnableCheckbox.setEnabled(false);
fSyntaxForegroundColorEditor.getButton().setEnabled(false);
fColorEditorLabel.setEnabled(false);
fBoldCheckBox.setEnabled(false);
fItalicCheckBox.setEnabled(false);
fStrikethroughCheckBox.setEnabled(false);
fUnderlineCheckBox.setEnabled(false);
return;
}
org.eclipse.swt.graphics.RGB rgb = org.eclipse.jface.preference.PreferenceConverter.getColor(getPreferenceStore(), item.getColorKey());
fSyntaxForegroundColorEditor.setColorValue(rgb);
fBoldCheckBox.setSelection(getPreferenceStore().getBoolean(item.getBoldKey()));
fItalicCheckBox.setSelection(getPreferenceStore().getBoolean(item.getItalicKey()));
fStrikethroughCheckBox.setSelection(getPreferenceStore().getBoolean(item.getStrikethroughKey()));
fUnderlineCheckBox.setSelection(getPreferenceStore().getBoolean(item.getUnderlineKey()));
fEnableCheckbox.setEnabled(true);
boolean enable = getPreferenceStore().getBoolean(item.getEnableKey());
fEnableCheckbox.setSelection(enable);
fSyntaxForegroundColorEditor.getButton().setEnabled(enable);
fColorEditorLabel.setEnabled(enable);
fBoldCheckBox.setEnabled(enable);
fItalicCheckBox.setEnabled(enable);
fStrikethroughCheckBox.setEnabled(enable);
fUnderlineCheckBox.setEnabled(enable);
}
private org.eclipse.swt.widgets.Control createSyntaxPage(final org.eclipse.swt.widgets.Composite parent) {
org.eclipse.swt.widgets.Composite colorComposite = new org.eclipse.swt.widgets.Composite(parent, org.eclipse.swt.SWT.NONE);
org.eclipse.swt.layout.GridLayout layout = new org.eclipse.swt.layout.GridLayout();
layout.marginHeight = 0;
layout.marginWidth = 0;
colorComposite.setLayout(layout);
addFiller(colorComposite, 1);
org.eclipse.swt.widgets.Label label = new org.eclipse.swt.widgets.Label(colorComposite, org.eclipse.swt.SWT.LEFT);
label.setText("Element:");
label.setLayoutData(new org.eclipse.swt.layout.GridData(org.eclipse.swt.layout.GridData.FILL, org.eclipse.swt.layout.GridData.BEGINNING, true, false));
org.eclipse.swt.widgets.Composite editorComposite = createEditorComposite(colorComposite);
createListViewer(editorComposite);
createStylesComposite(editorComposite);
addListenersToStyleButtons();
colorComposite.layout(false);
handleSyntaxColorListSelection();
return colorComposite;
}
private org.eclipse.swt.widgets.Composite createEditorComposite(org.eclipse.swt.widgets.Composite colorComposite) {
org.eclipse.swt.layout.GridLayout layout;
org.eclipse.swt.widgets.Composite editorComposite = new org.eclipse.swt.widgets.Composite(colorComposite, org.eclipse.swt.SWT.NONE);
layout = new org.eclipse.swt.layout.GridLayout();
layout.numColumns = 2;
layout.marginHeight = 0;
layout.marginWidth = 0;
editorComposite.setLayout(layout);
org.eclipse.swt.layout.GridData gd = new org.eclipse.swt.layout.GridData(org.eclipse.swt.layout.GridData.FILL, org.eclipse.swt.layout.GridData.FILL, true, true);
editorComposite.setLayoutData(gd);
return editorComposite;
}
private void createListViewer(org.eclipse.swt.widgets.Composite editorComposite) {
fListViewer = new org.eclipse.jface.viewers.TreeViewer(editorComposite, org.eclipse.swt.SWT.SINGLE | org.eclipse.swt.SWT.BORDER);
fListViewer.setLabelProvider(new ColorListLabelProvider());
fListViewer.setContentProvider(new ColorListContentProvider());
org.eclipse.swt.layout.GridData gd = new org.eclipse.swt.layout.GridData(org.eclipse.swt.layout.GridData.FILL, org.eclipse.swt.layout.GridData.FILL, true, true);
gd.heightHint = convertHeightInCharsToPixels(26);
int maxWidth = 0;
for (java.util.Iterator<java.util.List<HighlightingColorListItem>> it = content.values().iterator(); it.hasNext();) {
for (java.util.Iterator<HighlightingColorListItem> j = it.next().iterator(); j.hasNext();) {
HighlightingColorListItem item = j.next();
maxWidth = Math.max(maxWidth, convertWidthInCharsToPixels(item.getDisplayName().length()));
}
}
org.eclipse.swt.widgets.ScrollBar vBar = ((org.eclipse.swt.widgets.Scrollable) fListViewer.getControl()).getVerticalBar();
if (vBar != null) {
// scrollbars and tree indentation guess
maxWidth += vBar.getSize().x * 3;
}
gd.widthHint = maxWidth;
fListViewer.getControl().setLayoutData(gd);
fListViewer.setInput(content);
fListViewer.setSelection(new org.eclipse.jface.viewers.StructuredSelection(content.values().iterator().next()));
fListViewer.addSelectionChangedListener(new org.eclipse.jface.viewers.ISelectionChangedListener() {
public void selectionChanged(org.eclipse.jface.viewers.SelectionChangedEvent event) {
handleSyntaxColorListSelection();
}
});
}
private void addListenersToStyleButtons() {
fForegroundColorButton.addSelectionListener(new org.eclipse.swt.events.SelectionListener() {
public void widgetDefaultSelected(org.eclipse.swt.events.SelectionEvent e) {
// do nothing
}
public void widgetSelected(org.eclipse.swt.events.SelectionEvent e) {
HighlightingColorListItem item = getHighlightingColorListItem();
changedPreferences.add(new ChangedRGBPreference(item.getColorKey(), fSyntaxForegroundColorEditor.getColorValue()));
}
});
fBoldCheckBox.addSelectionListener(new org.eclipse.swt.events.SelectionListener() {
public void widgetDefaultSelected(org.eclipse.swt.events.SelectionEvent e) {
// do nothing
}
public void widgetSelected(org.eclipse.swt.events.SelectionEvent e) {
HighlightingColorListItem item = getHighlightingColorListItem();
changedPreferences.add(new ChangedBooleanPreference(item.getBoldKey(),
fBoldCheckBox.getSelection()));
}
});
fItalicCheckBox.addSelectionListener(new org.eclipse.swt.events.SelectionListener() {
public void widgetDefaultSelected(org.eclipse.swt.events.SelectionEvent e) {
// do nothing
}
public void widgetSelected(org.eclipse.swt.events.SelectionEvent e) {
HighlightingColorListItem item = getHighlightingColorListItem();
changedPreferences.add(new ChangedBooleanPreference(item.getItalicKey(),
fItalicCheckBox.getSelection()));
}
});
fStrikethroughCheckBox.addSelectionListener(new org.eclipse.swt.events.SelectionListener() {
public void widgetDefaultSelected(org.eclipse.swt.events.SelectionEvent e) {
// do nothing
}
public void widgetSelected(org.eclipse.swt.events.SelectionEvent e) {
HighlightingColorListItem item = getHighlightingColorListItem();
changedPreferences.add(new ChangedBooleanPreference(item.getStrikethroughKey(),
fStrikethroughCheckBox.getSelection()));
}
});
fUnderlineCheckBox.addSelectionListener(new org.eclipse.swt.events.SelectionListener() {
public void widgetDefaultSelected(org.eclipse.swt.events.SelectionEvent e) {
// do nothing
}
public void widgetSelected(org.eclipse.swt.events.SelectionEvent e) {
HighlightingColorListItem item = getHighlightingColorListItem();
changedPreferences.add(new ChangedBooleanPreference(item.getUnderlineKey(),
fUnderlineCheckBox.getSelection()));
}
});
fEnableCheckbox.addSelectionListener(new org.eclipse.swt.events.SelectionListener() {
public void widgetDefaultSelected(org.eclipse.swt.events.SelectionEvent e) {
// do nothing
}
public void widgetSelected(org.eclipse.swt.events.SelectionEvent e) {
HighlightingColorListItem item = getHighlightingColorListItem();
boolean enable = fEnableCheckbox.getSelection();
changedPreferences.add(new ChangedBooleanPreference(item.getEnableKey(), enable));
fEnableCheckbox.setSelection(enable);
fSyntaxForegroundColorEditor.getButton().setEnabled(enable);
fColorEditorLabel.setEnabled(enable);
fBoldCheckBox.setEnabled(enable);
fItalicCheckBox.setEnabled(enable);
fStrikethroughCheckBox.setEnabled(enable);
fUnderlineCheckBox.setEnabled(enable);
// uninstallSemanticHighlighting();
// installSemanticHighlighting();
}
});
}
private void createStylesComposite(org.eclipse.swt.widgets.Composite editorComposite) {
org.eclipse.swt.layout.GridLayout layout;
org.eclipse.swt.layout.GridData gd;
org.eclipse.swt.widgets.Composite stylesComposite = new org.eclipse.swt.widgets.Composite(editorComposite, org.eclipse.swt.SWT.NONE);
layout = new org.eclipse.swt.layout.GridLayout();
layout.marginHeight = 0;
layout.marginWidth = 0;
layout.numColumns = 2;
stylesComposite.setLayout(layout);
stylesComposite.setLayoutData(new org.eclipse.swt.layout.GridData(org.eclipse.swt.layout.GridData.END, org.eclipse.swt.layout.GridData.FILL, false, true));
fEnableCheckbox = new org.eclipse.swt.widgets.Button(stylesComposite, org.eclipse.swt.SWT.CHECK);
fEnableCheckbox.setText("Enable");
gd = new org.eclipse.swt.layout.GridData(org.eclipse.swt.layout.GridData.FILL_HORIZONTAL);
gd.horizontalAlignment = org.eclipse.swt.layout.GridData.BEGINNING;
gd.horizontalSpan = 2;
fEnableCheckbox.setLayoutData(gd);
fColorEditorLabel = new org.eclipse.swt.widgets.Label(stylesComposite, org.eclipse.swt.SWT.LEFT);
fColorEditorLabel.setText("Color:");
gd = new org.eclipse.swt.layout.GridData(org.eclipse.swt.layout.GridData.HORIZONTAL_ALIGN_BEGINNING);
gd.horizontalIndent = 20;
fColorEditorLabel.setLayoutData(gd);
fSyntaxForegroundColorEditor = new org.eclipse.jface.preference.ColorSelector(stylesComposite);
fForegroundColorButton = fSyntaxForegroundColorEditor.getButton();
gd = new org.eclipse.swt.layout.GridData(org.eclipse.swt.layout.GridData.HORIZONTAL_ALIGN_BEGINNING);
fForegroundColorButton.setLayoutData(gd);
fBoldCheckBox = new org.eclipse.swt.widgets.Button(stylesComposite, org.eclipse.swt.SWT.CHECK);
fBoldCheckBox.setText("Bold");
gd = new org.eclipse.swt.layout.GridData(org.eclipse.swt.layout.GridData.HORIZONTAL_ALIGN_BEGINNING);
gd.horizontalIndent = 20;
gd.horizontalSpan = 2;
fBoldCheckBox.setLayoutData(gd);
fItalicCheckBox = new org.eclipse.swt.widgets.Button(stylesComposite, org.eclipse.swt.SWT.CHECK);
fItalicCheckBox.setText("Italic");
gd = new org.eclipse.swt.layout.GridData(org.eclipse.swt.layout.GridData.HORIZONTAL_ALIGN_BEGINNING);
gd.horizontalIndent = 20;
gd.horizontalSpan = 2;
fItalicCheckBox.setLayoutData(gd);
fStrikethroughCheckBox = new org.eclipse.swt.widgets.Button(stylesComposite, org.eclipse.swt.SWT.CHECK);
fStrikethroughCheckBox.setText("Strikethrough");
gd = new org.eclipse.swt.layout.GridData(org.eclipse.swt.layout.GridData.HORIZONTAL_ALIGN_BEGINNING);
gd.horizontalIndent = 20;
gd.horizontalSpan = 2;
fStrikethroughCheckBox.setLayoutData(gd);
fUnderlineCheckBox = new org.eclipse.swt.widgets.Button(stylesComposite, org.eclipse.swt.SWT.CHECK);
fUnderlineCheckBox.setText("Underlined");
gd = new org.eclipse.swt.layout.GridData(org.eclipse.swt.layout.GridData.HORIZONTAL_ALIGN_BEGINNING);
gd.horizontalIndent = 20;
gd.horizontalSpan = 2;
fUnderlineCheckBox.setLayoutData(gd);
}
private void addFiller(org.eclipse.swt.widgets.Composite composite, int horizontalSpan) {
org.feature.multi.perspective.mapping.viewmapping.resource.mtext.ui.MtextPixelConverter pixelConverter = new org.feature.multi.perspective.mapping.viewmapping.resource.mtext.ui.MtextPixelConverter(composite);
org.eclipse.swt.widgets.Label filler = new org.eclipse.swt.widgets.Label(composite, org.eclipse.swt.SWT.LEFT);
org.eclipse.swt.layout.GridData gd = new org.eclipse.swt.layout.GridData(org.eclipse.swt.layout.GridData.HORIZONTAL_ALIGN_FILL);
gd.horizontalSpan = horizontalSpan;
gd.heightHint = pixelConverter.convertHeightInCharsToPixels(1) / 2;
filler.setLayoutData(gd);
}
/**
* Returns the current highlighting color list item.
*/
private HighlightingColorListItem getHighlightingColorListItem() {
org.eclipse.jface.viewers.IStructuredSelection selection = (org.eclipse.jface.viewers.IStructuredSelection) fListViewer.getSelection();
Object element = selection.getFirstElement();
if (element instanceof String) {
return null;
}
return (HighlightingColorListItem) element;
}
public void init(org.eclipse.ui.IWorkbench workbench) {
}
protected org.eclipse.swt.widgets.Control createContents(org.eclipse.swt.widgets.Composite parent) {
org.eclipse.swt.widgets.Control content = createSyntaxPage(parent);
return content;
}
public boolean performOk() {
if (!super.performOk()) {
return false;
}
performApply();
return true;
}
public boolean performCancel() {
if (!super.performCancel()) {
return false;
}
// discard all changes that were made
changedPreferences.clear();
return true;
}
protected void performApply() {
for (IChangedPreference changedPreference : changedPreferences) {
changedPreference.apply(getPreferenceStore());
}
changedPreferences.clear();
updateActiveEditor();
}
public void performDefaults() {
super.performDefaults();
org.eclipse.jface.preference.IPreferenceStore preferenceStore = getPreferenceStore();
// reset all preferences to their default values
for (String languageID : content.keySet()) {
java.util.List<HighlightingColorListItem> items = content.get(languageID);
for (HighlightingColorListItem item : items) {
restoreDefaultBooleanValue(preferenceStore, item.getBoldKey());
restoreDefaultBooleanValue(preferenceStore, item.getEnableKey());
restoreDefaultBooleanValue(preferenceStore, item.getItalicKey());
restoreDefaultBooleanValue(preferenceStore, item.getStrikethroughKey());
restoreDefaultBooleanValue(preferenceStore, item.getUnderlineKey());
restoreDefaultStringValue(preferenceStore, item.getColorKey());
}
}
handleSyntaxColorListSelection();
updateActiveEditor();
}
private void restoreDefaultBooleanValue(org.eclipse.jface.preference.IPreferenceStore preferenceStore, String key) {
preferenceStore.setValue(key, preferenceStore.getDefaultBoolean(key));
}
private void restoreDefaultStringValue(org.eclipse.jface.preference.IPreferenceStore preferenceStore, String key) {
preferenceStore.setValue(key, preferenceStore.getDefaultString(key));
}
private void updateActiveEditor() {
org.eclipse.ui.IWorkbench workbench = org.eclipse.ui.PlatformUI.getWorkbench();
org.eclipse.ui.IEditorPart editor = workbench.getActiveWorkbenchWindow().getActivePage().getActiveEditor();
if (editor != null && editor instanceof org.feature.multi.perspective.mapping.viewmapping.resource.mtext.ui.MtextEditor) {
org.feature.multi.perspective.mapping.viewmapping.resource.mtext.ui.MtextEditor emfTextEditor = (org.feature.multi.perspective.mapping.viewmapping.resource.mtext.ui.MtextEditor) editor;
emfTextEditor.invalidateTextRepresentation();
}
}
}