]> gerrit.simantics Code Review - simantics/platform.git/tree - bundles/org.simantics.diagram/src/org/
(refs #7568) Reinitialize diagram editor when element is switched 35/1135/3
[simantics/platform.git] / bundles / org.simantics.diagram / src / org /
drwxr-xr-x   ..
drwxr-xr-x - simantics