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);
return getPreferences().getBoolean(P_USE_ELEVATION_SERVER, false);
}
+ public static int pipeDepthUnderGround() {
+ return getPreferences().getInt(P_PIPE_DEPTH_UNDER_GROUND, -1);
+ }
}