Changeset 8282 in josm for trunk/src

Timestamp:

2015-04-27T18:46:32+02:00 (10 years ago)

Author:

stoecker

Message:

fix handling of khmer a bit

Location:

trunk/src/org/openstreetmap/josm

Files:

• gui/MainApplication.java (modified) (2 diffs)
• gui/util/GuiHelper.java (modified) (3 diffs)
• gui/widgets/JosmEditorPane.java (modified) (2 diffs)
• tools/I18n.java (modified) (3 diffs)

trunk/src/org/openstreetmap/josm/gui/MainApplication.java

@@ -381 +381 @@
         FontsManager.initialize();
 
-        handleSpecialLanguages();
+        I18n.setupLanguageFonts();
 
         final JFrame mainFrame = new JFrame(tr("Java OpenStreetMap Editor"));
@@ -502 +502 @@
             info("Enabled EDT checker, wrongful access to gui from non EDT thread will be printed to console");
             RepaintManager.setCurrentManager(new CheckThreadViolationRepaintManager());
-        }
-    }
-
-    private static void handleSpecialLanguages() {
-        // Use special font for Khmer script, as the default Java font do not display these characters
-        if ("km".equals(Main.pref.get("language"))) {
-            Collection<String> fonts = Arrays.asList(
-                    GraphicsEnvironment.getLocalGraphicsEnvironment().getAvailableFontFamilyNames());
-            for (String f : new String[]{"Khmer UI", "DaunPenh", "MoolBoran"}) {
-                if (fonts.contains(f)) {
-                    GuiHelper.setUIFont(f);
-                    break;
-                }
-            }
         }
     }

trunk/src/org/openstreetmap/josm/gui/util/GuiHelper.java

@@ -48 +48 @@
 import org.openstreetmap.josm.tools.GBC;
 import org.openstreetmap.josm.tools.ImageProvider;
+import org.openstreetmap.josm.tools.LanguageInfo;
 
 /**
@@ -309 +310 @@
     public static Font getMonospacedFont(JComponent component) {
         // Special font for Khmer script
-        if ("km".equals(Main.pref.get("language"))) {
+        if ("km".equals(LanguageInfo.getJOSMLocaleCode())) {
             return component.getFont();
         } else {
@@ -329 +330 @@
         List<String> fonts = Arrays.asList(GraphicsEnvironment.getLocalGraphicsEnvironment().getAvailableFontFamilyNames());
         // Special font for Khmer script
-        if ("km".equals(Main.pref.get("language"))) {
+        if ("km".equals(LanguageInfo.getJOSMLocaleCode())) {
             return UIManager.getFont("Label.font").deriveFont(20.0f);
         }

trunk/src/org/openstreetmap/josm/gui/widgets/JosmEditorPane.java

@@ -18 +18 @@
 import org.openstreetmap.josm.Main;
 import org.openstreetmap.josm.gui.util.GuiHelper;
+import org.openstreetmap.josm.tools.LanguageInfo;
 import org.openstreetmap.josm.tools.Utils;
 
@@ -104 +105 @@
         ss.addRule("ol {margin-left: 1cm; margin-top: 0.1cm; margin-bottom: 0.2cm; list-style-type: decimal}");
         ss.addRule("ul {margin-left: 1cm; margin-top: 0.1cm; margin-bottom: 0.2cm; list-style-type: disc}");
-        if ("km".equals(Main.pref.get("language"))) {
+        if ("km".equals(LanguageInfo.getJOSMLocaleCode())) {
             // Fix rendering problem for Khmer script
             ss.addRule("p {" + getFontRule(UIManager.getFont("Label.font")) + "}");

trunk/src/org/openstreetmap/josm/tools/I18n.java

@@ -2 +2 @@
 package org.openstreetmap.josm.tools;
 
+import java.awt.GraphicsEnvironment;
 import java.io.BufferedInputStream;
 import java.io.File;
@@ -26 +27 @@
 import org.openstreetmap.gui.jmapviewer.FeatureAdapter.TranslationAdapter;
 import org.openstreetmap.josm.Main;
+import org.openstreetmap.josm.gui.util.GuiHelper;
 import org.openstreetmap.josm.gui.widgets.AbstractFileChooser;
 
@@ -734 +736 @@
         };
     }
+
+    /**
+     * Setup special font for Khmer script, as the default Java font do not display these characters.
+     *
+     * @since 8281
+     */
+    public static void setupLanguageFonts() {
+        // Use special font for Khmer script, as the default Java font do not display these characters
+        if ("km".equals(LanguageInfo.getJOSMLocaleCode())) {
+            Collection<String> fonts = Arrays.asList(
+                    GraphicsEnvironment.getLocalGraphicsEnvironment().getAvailableFontFamilyNames());
+            for (String f : new String[]{"Khmer UI", "DaunPenh", "MoolBoran"}) {
+                if (fonts.contains(f)) {
+                    GuiHelper.setUIFont(f);
+                    break;
+                }
+            }
+        }
+    }
 }