Changeset 14120 in osm for applications/editors/josm/plugins/wmsplugin

Timestamp:

2009-03-18T15:55:16+01:00 (16 years ago)

Author:

stoecker

Message:

fix the menu changes in JOSM

Location:

applications/editors/josm/plugins/wmsplugin

Files:

• build.xml (modified) (1 diff)
• src/wmsplugin/WMSPlugin.java (modified) (3 diffs)

applications/editors/josm/plugins/wmsplugin/build.xml ¶

@@ -29 +29 @@
                 <attribute name="Plugin-Description" value="Display georeferenced images as background in JOSM (WMS servers, Yahoo, ...)."/>
                 <attribute name="Plugin-Link" value="http://wiki.openstreetmap.org/wiki/JOSM/Plugins/WMSPlugin"/>
-                <attribute name="Plugin-Mainversion" value="1465"/>
+                <attribute name="Plugin-Mainversion" value="1498"/>
                 <attribute name="Plugin-Version" value="${version.entry.commit.revision}"/>
                 <attribute name="de_Plugin-Link" value="http://wiki.openstreetmap.org/wiki/DE:JOSM/Plugins/WMSPlugin"/>

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.tools.I18n.tr;
-
 
 import java.awt.event.ActionEvent;
@@ -16 +16 @@
 import javax.swing.AbstractButton;
 import javax.swing.JMenu;
-import javax.swing.JMenuBar;
 import javax.swing.JMenuItem;
 
@@ -130 +129 @@
         MainMenu menu = Main.main.menu;
 
-        if (wmsJMenu == null) {
-            wmsJMenu = new JMenu(tr("WMS"));
-            menu.add(wmsJMenu, KeyEvent.VK_W, "wms");
-            menu.add(wmsJMenu, 5);
-        } else {
+        if (wmsJMenu == null)
+            wmsJMenu = menu.addMenu(marktr("WMS"), KeyEvent.VK_W, menu.defaultMenuPos);
+        else
             wmsJMenu.removeAll();
-        }
 
         // for each configured WMSInfo, add a menu entry.