Changeset 14119 in josm for trunk/src/org/openstreetmap/josm/data/preferences
- Timestamp:
- 2018-08-11T16:10:32+02:00 (6 years ago)
- Location:
- trunk/src/org/openstreetmap/josm/data/preferences
- Files:
-
- 1 added
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/data/preferences/PreferencesWriter.java
r12881 r14119 9 9 import java.util.stream.Stream; 10 10 11 import org.openstreetmap.josm.Main;12 11 import org.openstreetmap.josm.data.Version; 13 12 import org.openstreetmap.josm.io.XmlWriter; 14 import org.openstreetmap.josm.spi.preferences. Setting;13 import org.openstreetmap.josm.spi.preferences.Config; 15 14 import org.openstreetmap.josm.spi.preferences.ListListSetting; 16 import org.openstreetmap.josm.spi.preferences.SettingVisitor;17 15 import org.openstreetmap.josm.spi.preferences.ListSetting; 18 16 import org.openstreetmap.josm.spi.preferences.MapListSetting; 17 import org.openstreetmap.josm.spi.preferences.Setting; 18 import org.openstreetmap.josm.spi.preferences.SettingVisitor; 19 19 import org.openstreetmap.josm.spi.preferences.StringSetting; 20 20 … … 57 57 out.write(String.format("<?xml version=\"1.0\" encoding=\"UTF-8\"?>%n")); 58 58 String rootElement = defaults ? "preferences-defaults" : "preferences"; 59 out.write(String.format("<%s xmlns='%s/preferences-1.0'", rootElement, Main.getXMLBase()));59 out.write(String.format("<%s xmlns='%s/preferences-1.0'", rootElement, Config.getUrls().getXMLBase())); 60 60 if (defaults) { 61 61 out.write(" xmlns:xsi='http://www.w3.org/2001/XMLSchema-instance'");
Note:
See TracChangeset
for help on using the changeset viewer.