X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;ds=sidebyside;f=org.simantics.maps.elevation.server%2Fsrc%2Forg%2Fsimantics%2Fmaps%2Felevation%2Fserver%2Fprefs%2FMapsElevationServerPreferences.java;h=bcb59f2c9d01631cbaa586c7fd471434c1d79350;hb=a69a1c36a5c1907bb5289d1ee7c17309db04e7f0;hp=8401aed4fafa8348ca36bdbdee9ba56506beb77d;hpb=c6ddbec532645f52583c1ab9691cfb802724fca7;p=simantics%2Fdistrict.git 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 8401aed4..bcb59f2c 100644 --- 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,8 @@ 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_TIFF_FOLDER_PATH = "org.simantics.maps.elevation.server.tifsFolderPath"; + 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 +20,11 @@ public class MapsElevationServerPreferences { return getPreferences().getBoolean(P_USE_ELEVATION_SERVER, false); } + public static String tifFolderPath() { + return getPreferences().get(P_TIFF_FOLDER_PATH, "tifsFolder"); + } + + public static int pipeDepthUnderGround() { + return getPreferences().getInt(P_PIPE_DEPTH_UNDER_GROUND, -1); + } }