]> gerrit.simantics Code Review - simantics/platform.git/tree - bundles/org.simantics.modeling.ui/src/org/simantics/modeling/ui/features/
(refs #7568) Reinitialize diagram editor when element is switched 35/1135/3
[simantics/platform.git] / bundles / org.simantics.modeling.ui / src / org / simantics / modeling / ui / features /
drwxr-xr-x   ..
-rw-r--r-- 7298 EditorNamingService.java
-rw-r--r-- 9704 EditorNamingService2.java