X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=org.simantics.maps.server%2Fsrc%2Forg%2Fsimantics%2Fdistrict%2Fmaps%2Fserver%2Fprefs%2FMapsServerPreferences.java;h=816fdbb430fb34e3f1e9788c78d7c7044399ec85;hb=7ab15b0d6830bf2f60116c435b22766139ba8f37;hp=b9a5845ec44006fc0d729314c5080efde99ee7d1;hpb=2529be6d456deeb07c128603ce4971f1dc29b695;p=simantics%2Fdistrict.git

diff --git a/org.simantics.maps.server/src/org/simantics/district/maps/server/prefs/MapsServerPreferences.java b/org.simantics.maps.server/src/org/simantics/district/maps/server/prefs/MapsServerPreferences.java
index b9a5845e..816fdbb4 100644
--- a/org.simantics.maps.server/src/org/simantics/district/maps/server/prefs/MapsServerPreferences.java
+++ b/org.simantics.maps.server/src/org/simantics/district/maps/server/prefs/MapsServerPreferences.java
@@ -1,8 +1,7 @@
 package org.simantics.district.maps.server.prefs;
 
-import org.eclipse.core.runtime.preferences.DefaultScope;
+import org.eclipse.core.runtime.preferences.InstanceScope;
 import org.osgi.service.prefs.Preferences;
-//import org.simantics.maps.server.ui.Activator;
 import org.simantics.district.maps.server.Activator;
 
 public class MapsServerPreferences {
@@ -12,9 +11,13 @@ public class MapsServerPreferences {
     public static final String P_START_AUTOMATICALLY = "org.simantics.maps.server.startAutomatically";
 
     public static final String P_DEFAULT_PORT = "org.simantics.maps.server.defaultPort";
+    
+    public static final String P_CURRENT_MBTILES = "org.simantics.maps.server.currentMbTiles";
+    
+    public static final String P_CURRENT_TM2STYLE = "org.simantics.maps.server.currentTM2Style";
 
     public static Preferences getPreferences() {
-        return DefaultScope.INSTANCE.getNode(MapsServerPreferences.P_NODE);
+        return InstanceScope.INSTANCE.getNode(MapsServerPreferences.P_NODE);
     }
     
     public static boolean startAutomatically() {
@@ -22,7 +25,15 @@ public class MapsServerPreferences {
     }
 
     public static int defaultPort() {
-        return getPreferences().getInt(P_DEFAULT_PORT, 8080);
+        return getPreferences().getInt(P_DEFAULT_PORT, 8585);
+    }
+    
+    public static String currentMBTiles() {
+        return getPreferences().get(P_CURRENT_MBTILES, "helsinki_finland.mbtiles");
+    }
+    
+    public static String currentTM2Style() {
+        return getPreferences().get(P_CURRENT_TM2STYLE, "mapbox-studio-osm-bright.tm2");
     }
 
 }