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

Timestamp:

2006-11-25T16:41:58+01:00 (18 years ago)

Author:

imi

Message:

• added plugin-support for preferences
• added advanced tab to preferences dialog

Location:

src/org/openstreetmap/josm/plugins

Files:

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

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

@@ -11 +11 @@
 import org.openstreetmap.josm.Main;
 import org.openstreetmap.josm.gui.MapFrame;
+import org.openstreetmap.josm.gui.preferences.PreferenceSetting;
 
 /**
@@ -69 +70 @@
 
         /**
+         * Called in the preferences dialog to create a preferences page for the plugin,
+         * if any available.
+         */
+        public PreferenceSetting getPreferenceSetting() {return null;}
+        
+        
+        /**
          * Copies the ressource 'from' to the file in the plugin directory named 'to'.
          */

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

@@ -2 +2 @@
 
 import org.openstreetmap.josm.gui.MapFrame;
+import org.openstreetmap.josm.gui.preferences.PreferenceSetting;
 
 
@@ -30 +31 @@
         }
     }
+
+        @Override public PreferenceSetting getPreferenceSetting() {
+                try {
+                        return (PreferenceSetting)plugin.getClass().getMethod("getPreferenceSetting").invoke(plugin);
+                } catch (NoSuchMethodException e) {
+                        return null;
+                } catch (Exception e) {
+                        throw new PluginException(this, info.name, e);
+                }
+    }
 }