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=85b1a453ba6f4c0a8c0722a1cf113524ff084567;hb=00e4eca98cef6d77d5023f4b424f9e8da0487463;hp=b9a5845ec44006fc0d729314c5080efde99ee7d1;hpb=02ecca5e61d2eb17de40cc058be678b414aaad00;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..85b1a453 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() {
@@ -24,5 +27,13 @@ public class MapsServerPreferences {
     public static int defaultPort() {
         return getPreferences().getInt(P_DEFAULT_PORT, 8080);
     }
+    
+    public static String currentMBTiles() {
+        return getPreferences().get(P_CURRENT_MBTILES, "");
+    }
+    
+    public static String currentTM2Style() {
+        return getPreferences().get(P_CURRENT_TM2STYLE, "");
+    }
 
 }