Changeset 237 in josm for src/org/openstreetmap/josm/plugins

Timestamp:

2007-05-17T03:20:42+02:00 (18 years ago)

Author:

framm

Message:

Major download dialog reorg (now uses tabs, modified World Chooser with keyboard control, plugin interface allows adding of tabs)
New Userlist dialog shows people having edited selected items

Location:

src/org/openstreetmap/josm/plugins

Files:

• Plugin.java (modified) (2 diffs)
• PluginProxy.java (modified) (2 diffs)

src/org/openstreetmap/josm/plugins/Plugin.java

@@ -8 +8 @@
 import java.net.URL;
 import java.net.URLClassLoader;
+import java.util.List;
 
 import org.openstreetmap.josm.Main;
 import org.openstreetmap.josm.gui.MapFrame;
+import org.openstreetmap.josm.gui.download.DownloadSelection;
 import org.openstreetmap.josm.gui.preferences.PreferenceSetting;
 
@@ -75 +77 @@
          * if any available.
          */
-        public PreferenceSetting getPreferenceSetting() {return null;}
+        public PreferenceSetting getPreferenceSetting() { return null; }
         
+        /**
+         * Called in the download dialog to give the plugin a chance to modify the list
+         * of bounding box selectors.
+         */
+        public void addDownloadSelection(List<DownloadSelection> list) {}
         
         /**

src/org/openstreetmap/josm/plugins/PluginProxy.java

@@ -1 +1 @@
 package org.openstreetmap.josm.plugins;
 
+import java.util.List;
+
 import org.openstreetmap.josm.gui.MapFrame;
+import org.openstreetmap.josm.gui.download.DownloadSelection;
 import org.openstreetmap.josm.gui.preferences.PreferenceSetting;
 
@@ -41 +44 @@
                 }
     }
+        
+        @Override public void addDownloadSelection(List<DownloadSelection> list) {
+                try {
+                        plugin.getClass().getMethod("getDownloadSelection", List.class).invoke(plugin);
+                } catch (NoSuchMethodException e) {
+                        // ignore
+                } catch (Exception e) {
+                        throw new PluginException(this, info.name, e);
+                }
+        }
 }