]> gerrit.simantics Code Review - simantics/district.git/commitdiff
Hover label profile for district elements. 48/2848/1
authorReino Ruusu <reino.ruusu@semantum.fi>
Tue, 9 Apr 2019 13:13:53 +0000 (16:13 +0300)
committerReino Ruusu <reino.ruusu@semantum.fi>
Thu, 11 Apr 2019 11:00:12 +0000 (14:00 +0300)
Also includes some improvements in edge and vertex rendering and
selection.

gitlab #44

Change-Id: I007153a4ccb0417f9c1ee6a745876d024f5e2c8d


No differences found