Add property for changing pipe depth under ground with elev server

[simantics/district.git] / org.simantics.maps.elevation.server / src / org / simantics / maps / elevation / server / prefs / MapsElevationServerPreferences.java

diff --git a/org.simantics.maps.elevation.server/src/org/simantics/maps/elevation/server/prefs/MapsElevationServerPreferences.java b/org.simantics.maps.elevation.server/src/org/simantics/maps/elevation/server/prefs/MapsElevationServerPreferences.java
index 8401aed4fafa8348ca36bdbdee9ba56506beb77d..8db89308a0e4ff1fa2cc981a31e73d2da6fbc46a 100644 (file)
--- a/org.simantics.maps.elevation.server/src/org/simantics/maps/elevation/server/prefs/MapsElevationServerPreferences.java
+++ b/org.simantics.maps.elevation.server/src/org/simantics/maps/elevation/server/prefs/MapsElevationServerPreferences.java
@@ -9,6 +9,7 @@ public class MapsElevationServerPreferences {
     public static final String P_NODE = Activator.PLUGIN_ID;
 
     public static final String P_USE_ELEVATION_SERVER = "org.simantics.maps.elevation.server.useElevationServer";
+    public static final String P_PIPE_DEPTH_UNDER_GROUND = "org.simantics.maps.elevation.server.pipeDepthUnderGround";
 
     public static Preferences getPreferences() {
         return InstanceScope.INSTANCE.getNode(MapsElevationServerPreferences.P_NODE);
@@ -18,4 +19,7 @@ public class MapsElevationServerPreferences {
         return getPreferences().getBoolean(P_USE_ELEVATION_SERVER, false);
     }
 
+    public static int pipeDepthUnderGround() {
+       return getPreferences().getInt(P_PIPE_DEPTH_UNDER_GROUND, -1);
+    }
 }