Changeset 15091 in osm for applications/editors/josm/plugins/wmsplugin/src/wmsplugin/WMSPlugin.java

Timestamp:

2009-05-17T13:19:29+02:00 (15 years ago)

Author:

stoecker

Message:

close #2589, #2310

File:

• applications/editors/josm/plugins/wmsplugin/src/wmsplugin/WMSPlugin.java (modified) (2 diffs)

applications/editors/josm/plugins/wmsplugin/src/wmsplugin/WMSPlugin.java

@@ -37 +37 @@
     static ArrayList<WMSInfo> wmsList = new ArrayList<WMSInfo>();
     static TreeMap<String,String> wmsListDefault = new TreeMap<String,String>();
+
+    static boolean doOverlap = false;
+    static int overlapLat = 4;
+    static int overlapLon = 14;
 
     // remember state of menu item to restore on changed preferences
@@ -77 +81 @@
 
         TreeSet<String> keys = new TreeSet<String>(prefs.keySet());
+
+        // Here we load the settings for "overlap" checkbox and spinboxes.
+
+        try {
+            doOverlap = Boolean.valueOf(prefs.get("wmsplugin.url.overlap"));
+        } catch (Exception e) {} // If sth fails, we drop to default settings.
+
+        try {
+            overlapLat = Integer.valueOf(prefs.get("wmsplugin.url.overlapLat"));
+        } catch (Exception e) {} // If sth fails, we drop to default settings.
+
+        try {
+            overlapLon = Integer.valueOf(prefs.get("wmsplugin.url.overlapLon"));
+        } catch (Exception e) {} // If sth fails, we drop to default settings.
+
+        // And then the names+urls of WMS servers
         int prefid = 0;
         String name = null;