Changeset 8024 in josm for trunk/src/org/openstreetmap/josm/plugins
- Timestamp:
- 2015-02-09T14:54:35+01:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java
r8020 r8024 1057 1057 } 1058 1058 1059 public static void getPreferenceSetting(Collection<PreferenceSettingFactory> settings) { 1059 public static Collection<PreferenceSettingFactory> getPreferenceSetting() { 1060 Collection<PreferenceSettingFactory> settings = new ArrayList<>(); 1060 1061 for (PluginProxy plugin : pluginList) { 1061 1062 settings.add(new PluginPreferenceFactory(plugin)); 1062 1063 } 1064 return settings; 1063 1065 } 1064 1066
Note:
See TracChangeset
for help on using the changeset viewer.