Changeset 9827 in josm for trunk/src/org/openstreetmap/josm/data
- Timestamp:
- 2016-02-18T23:22:37+01:00 (9 years ago)
- Location:
- trunk/src/org/openstreetmap/josm/data
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/data/Preferences.java
r9823 r9827 60 60 import org.openstreetmap.josm.data.preferences.PreferencesWriter; 61 61 import org.openstreetmap.josm.data.preferences.Setting; 62 import org.openstreetmap.josm.data.preferences.SettingVisitor;63 62 import org.openstreetmap.josm.data.preferences.StringSetting; 64 63 import org.openstreetmap.josm.io.OfflineAccessException; 65 64 import org.openstreetmap.josm.io.OnlineResource; 66 import org.openstreetmap.josm.io.XmlWriter;67 65 import org.openstreetmap.josm.tools.CheckParameterUtil; 68 66 import org.openstreetmap.josm.tools.ColorHelper; -
trunk/src/org/openstreetmap/josm/data/preferences/PreferencesReader.java
r9823 r9827 117 117 return version; 118 118 } 119 120 119 121 120 public void parse() throws XMLStreamException, IOException {
Note:
See TracChangeset
for help on using the changeset viewer.