Changeset 1742 in josm for trunk/src/org/openstreetmap/josm/plugins
- Timestamp:
- 2009-07-07T09:04:00+02:00 (16 years ago)
- Location:
- trunk/src/org/openstreetmap/josm/plugins
- Files:
-
- 1 added
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java
r1645 r1742 9 9 import java.net.URL; 10 10 import java.net.URLClassLoader; 11 import java.util.ArrayList; 11 12 import java.util.Arrays; 12 import java.util.ArrayList;13 13 import java.util.Collection; 14 14 import java.util.LinkedList; 15 15 import java.util.List; 16 import java.util.Map.Entry;17 16 import java.util.SortedMap; 18 17 import java.util.TreeMap; 18 import java.util.Map.Entry; 19 19 20 20 import javax.swing.AbstractAction; … … 31 31 import org.openstreetmap.josm.Main; 32 32 import org.openstreetmap.josm.actions.AboutAction; 33 import org.openstreetmap.josm.gui.ExtendedDialog; 33 34 import org.openstreetmap.josm.gui.MapFrame; 34 35 import org.openstreetmap.josm.gui.download.DownloadSelection; 35 import org.openstreetmap.josm.gui.ExtendedDialog; 36 import org.openstreetmap.josm.gui.preferences.PreferenceSetting; 36 import org.openstreetmap.josm.gui.preferences.PreferenceSettingFactory; 37 37 import org.openstreetmap.josm.tools.GBC; 38 38 import org.openstreetmap.josm.tools.ImageProvider; … … 176 176 p.addDownloadSelection(downloadSelections); 177 177 } 178 public static void getPreferenceSetting(Collection<PreferenceSetting> settings) 178 public static void getPreferenceSetting(Collection<PreferenceSettingFactory> settings) 179 179 { 180 180 for (PluginProxy plugin : pluginList) { 181 PreferenceSetting p = plugin.getPreferenceSetting(); 182 if (p != null) 183 settings.add(p); 181 settings.add(new PluginPreferenceFactory(plugin)); 184 182 } 185 183 }
Note:
See TracChangeset
for help on using the changeset viewer.