Browse Source

Fixes an issue, where the selection of an error in the problems view lead to an exception for statechart diagram editor with activated pinning feature. Related to #1794 (#1796)

Robert Rudi 7 years ago
parent
commit
7a2f7b9940

+ 1 - 0
plugins/org.yakindu.sct.ui.editor/src/org/yakindu/sct/ui/editor/providers/StatechartMarkerNavigationProvider.java

@@ -60,6 +60,7 @@ public class StatechartMarkerNavigationProvider extends AbstractModelMarkerNavig
 
 		EditPart targetEditPart = (EditPart) editPartRegistry.get(view);
 		if (targetEditPart != null) {
+			if(!targetEditPart.isSelectable()) return;
 			DiagramPartitioningUtil.selectElementsInDiagram(editor, Arrays.asList(new EditPart[] { targetEditPart }));
 		}