Changeset 18404 in osm for applications/editors/josm/plugins/wmsplugin/src

Timestamp:

2009-11-01T13:19:59+01:00 (16 years ago)

Author:

stoecker

Message:

updated some stuff to current JOSM

File:

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

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

@@ -1 +1 @@
 package wmsplugin;
 
-import static org.openstreetmap.josm.tools.I18n.marktr;
+import static org.openstreetmap.josm.gui.help.HelpUtil.ht;
 import static org.openstreetmap.josm.tools.I18n.tr;
 
@@ -51 +51 @@
     static int overlapEast = 14;
     static int overlapNorth = 4;
-    
+
     // remember state of menu item to restore on changed preferences
     static private boolean menuEnabled = false;
-    
+
     protected void initExporterAndImporter() {
         ExtensionFileFilter.exporters.add(new WMSLayerExporter());
@@ -94 +94 @@
         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 { 
-            overlapEast = Integer.valueOf(prefs.get("wmsplugin.url.overlapEast"));             
-        } catch (Exception e) {} // If sth fails, we drop to default settings. 
- 
-        try { 
-            overlapNorth = Integer.valueOf(prefs.get("wmsplugin.url.overlapNorth"));             
-        } catch (Exception e) {} // If sth fails, we drop to default settings. 
+        // 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 {
+            overlapEast = Integer.valueOf(prefs.get("wmsplugin.url.overlapEast"));
+        } catch (Exception e) {} // If sth fails, we drop to default settings.
+
+        try {
+            overlapNorth = Integer.valueOf(prefs.get("wmsplugin.url.overlapNorth"));
+        } catch (Exception e) {} // If sth fails, we drop to default settings.
 
         // And then the names+urls of WMS servers
@@ -169 +169 @@
 
         if (wmsJMenu == null)
-            wmsJMenu = menu.addMenu(marktr("WMS"), KeyEvent.VK_W, menu.defaultMenuPos);
+            wmsJMenu = menu.addMenu(tr("WMS"), KeyEvent.VK_W, menu.defaultMenuPos, ht("/Plugin/WMS"));
         else
             wmsJMenu.removeAll();