diff options
author | Henrik Rentz-Reichert | 2011-03-01 12:25:10 +0000 |
---|---|---|
committer | Henrik Rentz-Reichert | 2011-03-01 12:25:10 +0000 |
commit | c943deefbeeb809f4883b8d9e230e08248e9057a (patch) | |
tree | 7d8aef472b90f52d8568bba98a73914e58e34cb6 /plugins/org.eclipse.etrice.ui.structure | |
parent | 36b0d9c82dcb34fd9495e1158224b483be9c69f0 (diff) | |
parent | 9ed9d50f04e0f5bc669c9e8bf4096f8cde623512 (diff) | |
download | org.eclipse.etrice-c943deefbeeb809f4883b8d9e230e08248e9057a.tar.gz org.eclipse.etrice-c943deefbeeb809f4883b8d9e230e08248e9057a.tar.xz org.eclipse.etrice-c943deefbeeb809f4883b8d9e230e08248e9057a.zip |
Merge branch 'master' of https://git.eclipse.org/gitroot/etrice/org.eclipse.etrice
Diffstat (limited to 'plugins/org.eclipse.etrice.ui.structure')
-rw-r--r-- | plugins/org.eclipse.etrice.ui.structure/src/org/eclipse/etrice/ui/structure/editor/StructureEditor.java | 15 |
1 files changed, 13 insertions, 2 deletions
diff --git a/plugins/org.eclipse.etrice.ui.structure/src/org/eclipse/etrice/ui/structure/editor/StructureEditor.java b/plugins/org.eclipse.etrice.ui.structure/src/org/eclipse/etrice/ui/structure/editor/StructureEditor.java index 6fa390b09..3b690bcfd 100644 --- a/plugins/org.eclipse.etrice.ui.structure/src/org/eclipse/etrice/ui/structure/editor/StructureEditor.java +++ b/plugins/org.eclipse.etrice.ui.structure/src/org/eclipse/etrice/ui/structure/editor/StructureEditor.java @@ -12,12 +12,13 @@ package org.eclipse.etrice.ui.structure.editor;
-import org.eclipse.etrice.ui.common.editor.RoomDiagramEditor;
+import org.eclipse.emf.ecore.resource.ResourceSet;
import org.eclipse.etrice.ui.structure.Activator;
+import org.eclipse.graphiti.ui.editor.DiagramEditor;
import org.eclipse.swt.graphics.Image;
-public class StructureEditor extends RoomDiagramEditor {
+public class StructureEditor extends DiagramEditor {
public static final String STRUCTURE_EDITOR_ID = "org.eclipse.etrice.ui.structure.editor.StructureEditor";
@@ -29,4 +30,14 @@ public class StructureEditor extends RoomDiagramEditor { public Image getDefaultImage() {
return Activator.getImage("icons/Structure.gif");
}
+
+ @SuppressWarnings("restriction")
+ @Override
+ protected void initializeGraphicalViewer() {
+ super.initializeGraphicalViewer();
+
+ ResourceSet rs = getEditingDomain().getResourceSet();
+ if (rs.getResources().size()>1)
+ rs.getResources().get(1).setTrackingModification(true);
+ }
}
|