]> gerrit.simantics Code Review - simantics/platform.git/commit
Code Review / simantics / platform.git / commit
? search:
summary | shortlog | log | commit | commitdiff | review | tree
(parent: 89509fc) | patch
(refs #7568) Reinitialize diagram editor when element is switched 35/1135/3
authorHannu Niemistö <hannu.niemisto@semantum.fi>
Fri, 20 Oct 2017 22:15:23 +0000 (01:15 +0300)
committerTuukka Lehtonen <tuukka.lehtonen@semantum.fi>
Sat, 21 Oct 2017 09:29:46 +0000 (12:29 +0300)
commit01829f2ac0839902c07f29ef723cbd37751bfc51
tree2fb7ac5f3192f10c7b8b1afa9faf89829a474b05tree | snapshot
parent89509fcdedf40fcfca0144158c28802dea4ab18fcommit | diff
(refs #7568) Reinitialize diagram editor when element is switched

Change-Id: Id8fe0e1b0704fae35336525263b76c7c540489f0
bundles/org.simantics.diagram/src/org/simantics/diagram/ui/WorkbenchSelectionProvider.java diff | blob | history
bundles/org.simantics.modeling.ui/src/org/simantics/modeling/ui/actions/SwitchComponentTypeContribution.java diff | blob | history
bundles/org.simantics.modeling.ui/src/org/simantics/modeling/ui/diagramEditor/DiagramEditor.java diff | blob | history
Simantics Platform SDK.