X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=org.simantics.maps.elevation.server%2Fsrc%2Forg%2Fsimantics%2Fmaps%2Felevation%2Fserver%2Fprefs%2FMapsElevationServerPreferences.java;fp=org.simantics.maps.elevation.server%2Fsrc%2Forg%2Fsimantics%2Fmaps%2Felevation%2Fserver%2Fprefs%2FMapsElevationServerPreferences.java;h=bcb59f2c9d01631cbaa586c7fd471434c1d79350;hb=a69a1c36a5c1907bb5289d1ee7c17309db04e7f0;hp=8db89308a0e4ff1fa2cc981a31e73d2da6fbc46a;hpb=ab71380757c16139f24dbb9128006f7395d70d06;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 8db89308..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,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_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() { @@ -19,6 +20,10 @@ 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); }