Changeset 168 in josm for src/org/openstreetmap/josm/plugins/Plugin.java

Timestamp:

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

Author:

imi

Message:

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

File:

• src/org/openstreetmap/josm/plugins/Plugin.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'.
          */