Changeset 8282 in josm for trunk/src/org/openstreetmap/josm/tools
- Timestamp:
- 2015-04-27T18:46:32+02:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/tools/I18n.java
r8241 r8282 2 2 package org.openstreetmap.josm.tools; 3 3 4 import java.awt.GraphicsEnvironment; 4 5 import java.io.BufferedInputStream; 5 6 import java.io.File; … … 26 27 import org.openstreetmap.gui.jmapviewer.FeatureAdapter.TranslationAdapter; 27 28 import org.openstreetmap.josm.Main; 29 import org.openstreetmap.josm.gui.util.GuiHelper; 28 30 import org.openstreetmap.josm.gui.widgets.AbstractFileChooser; 29 31 … … 734 736 }; 735 737 } 738 739 /** 740 * Setup special font for Khmer script, as the default Java font do not display these characters. 741 * 742 * @since 8281 743 */ 744 public static void setupLanguageFonts() { 745 // Use special font for Khmer script, as the default Java font do not display these characters 746 if ("km".equals(LanguageInfo.getJOSMLocaleCode())) { 747 Collection<String> fonts = Arrays.asList( 748 GraphicsEnvironment.getLocalGraphicsEnvironment().getAvailableFontFamilyNames()); 749 for (String f : new String[]{"Khmer UI", "DaunPenh", "MoolBoran"}) { 750 if (fonts.contains(f)) { 751 GuiHelper.setUIFont(f); 752 break; 753 } 754 } 755 } 756 } 736 757 }
Note:
See TracChangeset
for help on using the changeset viewer.