From: Reino Ruusu Date: Fri, 1 Feb 2019 15:56:17 +0000 (+0200) Subject: UI for diagram element selection X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=commitdiff_plain;ds=inline;h=09b78f5c26bb8b521beb6eeeb5c3f44ac1aa4d07;hp=09b78f5c26bb8b521beb6eeeb5c3f44ac1aa4d07;p=simantics%2Fdistrict.git UI for diagram element selection gitlab #28 Change-Id: Id89372d9101dc7004b9b71b8ed6769b555b7b510 ---