Changeset 12841 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/server/OsmApiUrlInputPanel.java
- Timestamp:
- 2017-09-13T16:30:27+02:00 (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/server/OsmApiUrlInputPanel.java
r12634 r12841 28 28 29 29 import org.openstreetmap.josm.Main; 30 import org.openstreetmap.josm.data.preferences. CollectionProperty;30 import org.openstreetmap.josm.data.preferences.ListProperty; 31 31 import org.openstreetmap.josm.gui.MainApplication; 32 32 import org.openstreetmap.josm.gui.help.HelpUtil; … … 58 58 /** indicates whether to use the default OSM URL or not */ 59 59 private JCheckBox cbUseDefaultServerUrl; 60 private final transient CollectionProperty SERVER_URL_HISTORY = new CollectionProperty("osm-server.url-history", Arrays.asList(60 private final transient ListProperty SERVER_URL_HISTORY = new ListProperty("osm-server.url-history", Arrays.asList( 61 61 "http://api06.dev.openstreetmap.org/api", "http://master.apis.dev.openstreetmap.org/api")); 62 62
Note:
See TracChangeset
for help on using the changeset viewer.