Changeset 6905 in josm for trunk/src/org
- Timestamp:
- 2014-03-09T23:29:57+01:00 (11 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/data/Preferences.java
r6897 r6905 1305 1305 1306 1306 /** 1307 * The default plugin site1308 */1309 private static final String[] DEFAULT_PLUGIN_SITE = {Main.getJOSMWebsite()+"/plugin%<?plugins=>"};1310 1311 /**1312 1307 * Replies the collection of plugin site URLs from where plugin lists can be downloaded. 1313 1308 * @return the collection of plugin site URLs 1314 1309 */ 1315 1310 public Collection<String> getPluginSites() { 1316 return getCollection("pluginmanager.sites", Arrays.asList(DEFAULT_PLUGIN_SITE));1311 return getCollection("pluginmanager.sites", Collections.singleton(Main.getJOSMWebsite()+"/plugin%<?plugins=>")); 1317 1312 } 1318 1313
Note:
See TracChangeset
for help on using the changeset viewer.