]> gerrit.simantics Code Review - simantics/district.git/commit
Reduction in size of hover label font to 9 pts.
authorReino Ruusu <reino.ruusu@semantum.fi>
Mon, 13 May 2019 09:45:00 +0000 (12:45 +0300)
committerTuukka Lehtonen <tuukka.lehtonen@semantum.fi>
Sat, 31 Aug 2019 20:08:42 +0000 (23:08 +0300)
commitb286313bd67f570ff4fec3626eb4964263b6125c
treedd54a0d7dbcef9cf48f6e8316ce616df99d39c2c
parentef80443a94617e8ca1129fbd5db7fb03630e6d02
Reduction in size of hover label font to 9 pts.

gitlab #44

Change-Id: I9f05a864242623792f72fa7071ab47a5f949d8eb
org.simantics.district.maps/src/org/simantics/maps/sg/MapScaleNode.java
org.simantics.district.network.ui/src/org/simantics/district/network/ui/nodes/DistrictNetworkHoverInfoNode.java