Changeset 8073 in josm for trunk/src/org
- Timestamp:
- 2015-02-16T09:48:03+01:00 (10 years ago)
- Location:
- trunk/src/org/openstreetmap/josm
- Files:
-
- 3 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/mappaint/LineElemStyle.java
r7621 r8073 153 153 case LEFT_CASING: 154 154 case RIGHT_CASING: 155 {156 155 Float baseWidthOnDefault = getWidth(c_def, WIDTH, null); 157 156 Float baseWidth = getWidth(c, WIDTH, baseWidthOnDefault); … … 167 166 offset += casingOffset; 168 167 break; 169 }170 168 } 171 169 … … 374 372 } 375 373 } 374 376 375 public String linecapToString(int linecap) { 377 376 switch (linecap) { -
trunk/src/org/openstreetmap/josm/io/CachedFile.java
r7890 r8073 257 257 } 258 258 259 @SuppressWarnings("resource")260 259 private Pair<String, InputStream> findZipEntryImpl(String extension, String namepart) { 261 260 File file = null; … … 263 262 file = getFile(); 264 263 } catch (IOException ex) { 264 Main.warn(ex, false); 265 265 } 266 266 if (file == null) -
trunk/src/org/openstreetmap/josm/tools/PlatformHookUnixoid.java
r8061 r8073 37 37 38 38 import org.openstreetmap.josm.Main; 39 import org.openstreetmap.josm.data.Preferences.pref; 40 import org.openstreetmap.josm.data.Preferences.writeExplicitly; 39 41 import org.openstreetmap.josm.gui.ExtendedDialog; 40 42 import org.openstreetmap.josm.gui.util.GuiHelper; 41 import org.openstreetmap.josm.data.Preferences.pref;42 import org.openstreetmap.josm.data.Preferences.writeExplicitly;43 43 44 44 /** … … 57 57 public static class FontEntry { 58 58 /** 59 * The character subset. Basically a free identifier, but should 60 * be unique. 59 * The character subset. Basically a free identifier, but should be unique. 61 60 */ 62 61 @pref 63 62 public String charset; 63 64 64 /** 65 65 * Platform font name. … … 67 67 @pref @writeExplicitly 68 68 public String name = ""; 69 69 70 /** 70 71 * File name. … … 73 74 public String file = ""; 74 75 76 /** 77 * Constructs a new {@code FontEntry}. 78 */ 75 79 public FontEntry() { 76 80 } 77 81 82 /** 83 * Constructs a new {@code FontEntry}. 84 * @param charset The character subset. Basically a free identifier, but should be unique 85 * @param name Platform font name 86 * @param file File name 87 */ 78 88 public FontEntry(String charset, String name, String file) { 79 89 this.charset = charset; … … 448 458 * configuration. Finally the system property "sun.awt.fontconfig" is set 449 459 * to the customized fontconfig.properties file. 450 * 460 * 451 461 * This is a crude hack, but better than no font display at all for these 452 462 * languages. … … 482 492 OutputStream os = Files.newOutputStream(fontconfigFile); 483 493 os.write(content); 484 try (Writer w = new BufferedWriter(new OutputStreamWriter(os ))) {494 try (Writer w = new BufferedWriter(new OutputStreamWriter(os, StandardCharsets.UTF_8))) { 485 495 Collection<FontEntry> extrasPref = Main.pref.getListOfStructs( 486 496 "font.extended-unicode.extra-items", getAdditionalFonts(), FontEntry.class);
Note:
See TracChangeset
for help on using the changeset viewer.