]> gerrit.simantics Code Review - simantics/district.git/commitdiff
Hover label profile for district elements.
authorReino Ruusu <reino.ruusu@semantum.fi>
Tue, 9 Apr 2019 13:13:53 +0000 (16:13 +0300)
committerTuukka Lehtonen <tuukka.lehtonen@semantum.fi>
Sat, 31 Aug 2019 20:08:33 +0000 (23:08 +0300)
Also includes some improvements in edge and vertex rendering and
selection.

gitlab #44

Change-Id: I007153a4ccb0417f9c1ee6a745876d024f5e2c8d


No differences found