]> gerrit.simantics Code Review - simantics/platform.git/blob - bundles/org.simantics.ui/icons/project_selected.gif
(refs #7568) Reinitialize diagram editor when element is switched
[simantics/platform.git] / bundles / org.simantics.ui / icons / project_selected.gif
bundles/org.simantics.ui/icons/project_selected.gif