Changeset 12851 in josm for trunk/src/org/openstreetmap/josm/tools
- Timestamp:
- 2017-09-14T01:59:34+02:00 (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/tools/PlatformHookWindows.java
r12846 r12851 67 67 68 68 import org.openstreetmap.josm.Main; 69 import org.openstreetmap.josm.data.Preferences; 69 import org.openstreetmap.josm.data.StructUtils; 70 import org.openstreetmap.josm.data.StructUtils.StructEntry; 71 import org.openstreetmap.josm.data.StructUtils.WriteExplicitly; 70 72 import org.openstreetmap.josm.io.CertificateAmendment.CertAmend; 71 73 import org.openstreetmap.josm.spi.preferences.Config; … … 86 88 * The character subset. Basically a free identifier, but should be unique. 87 89 */ 88 @ Preferences.pref90 @StructEntry 89 91 public String charset; 90 92 … … 92 94 * Platform font name. 93 95 */ 94 @ Preferences.pref95 @ Preferences.writeExplicitly96 @StructEntry 97 @WriteExplicitly 96 98 public String name = ""; 97 99 … … 99 101 * File name. 100 102 */ 101 @ Preferences.pref102 @ Preferences.writeExplicitly103 @StructEntry 104 @WriteExplicitly 103 105 public String file = ""; 104 106 … … 525 527 os.write(content); 526 528 try (Writer w = new BufferedWriter(new OutputStreamWriter(os, StandardCharsets.UTF_8))) { 527 Collection<FontEntry> extrasPref = Main.pref.getListOfStructs(529 Collection<FontEntry> extrasPref = StructUtils.getListOfStructs(Config.getPref(), 528 530 "font.extended-unicode.extra-items", getAdditionalFonts(), FontEntry.class); 529 531 Collection<FontEntry> extras = new ArrayList<>();
Note:
See TracChangeset
for help on using the changeset viewer.