Changeset 10982 in josm for trunk/src/org/openstreetmap/josm/gui/preferences
- Timestamp:
- 2016-09-09T02:34:36+02:00 (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/PreferenceTabbedPane.java
r10763 r10982 61 61 import org.openstreetmap.josm.plugins.PluginHandler; 62 62 import org.openstreetmap.josm.plugins.PluginInformation; 63 import org.openstreetmap.josm.plugins.PluginProxy;64 63 import org.openstreetmap.josm.tools.CheckParameterUtil; 65 64 import org.openstreetmap.josm.tools.GBC; … … 155 154 // check if plugin dependences can also be loaded 156 155 Collection<PluginInformation> allPlugins = new HashSet<>(toLoad); 157 for (PluginProxy proxy : PluginHandler.pluginList) { 158 allPlugins.add(proxy.getPluginInformation()); 159 } 156 allPlugins.addAll(PluginHandler.getPlugins()); 160 157 boolean removed; 161 158 do {
Note:
See TracChangeset
for help on using the changeset viewer.