Changeset 19121 in josm for trunk/src/org/openstreetmap/josm/data
- Timestamp:
- 2024-06-20T16:40:27+02:00 (11 months ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/data/Preferences.java
r19095 r19121 444 444 445 445 try (PreferencesWriter writer = new PreferencesWriter( 446 new PrintWriter(prefFile + "_tmp", StandardCharsets.UTF_8 .name()), false, defaults)) {446 new PrintWriter(prefFile + "_tmp", StandardCharsets.UTF_8), false, defaults)) { 447 447 writer.write(settings); 448 448 } catch (SecurityException e) {
Note:
See TracChangeset
for help on using the changeset viewer.