Change zoom level from 15 to 17 for static infos

gitlab #47

Change-Id: Ic43cd87a4f34b97d00f601db2e48280e6488ae31
(cherry picked from commit db03c6473f55b3ed34d3158376f9af267d37b22c)

diff --git a/org.simantics.district.network.ui/src/org/simantics/district/network/ui/nodes/DistrictNetworkStaticInfoNode.java b/org.simantics.district.network.ui/src/org/simantics/district/network/ui/nodes/DistrictNetworkStaticInfoNode.java
index b86d0acb291b7c9355e97b9f5936154016861115..94b4e89613363f31027683067b3ae49d9910e45e 100644 (file)
--- a/org.simantics.district.network.ui/src/org/simantics/district/network/ui/nodes/DistrictNetworkStaticInfoNode.java
+++ b/org.simantics.district.network.ui/src/org/simantics/district/network/ui/nodes/DistrictNetworkStaticInfoNode.java
@@ -59,7 +59,7 @@ public class DistrictNetworkStaticInfoNode extends G2DNode implements DeferredNo
                
                baseTransform.preConcatenate(oldTransform);
                int zoomLevel = MapScalingTransform.zoomLevel(baseTransform);
-               if (zoomLevel < 15)
+               if (zoomLevel < 17)
                        return;
                
                Font oldFont = g.getFont();