Changeset 8282 in josm for trunk/src/org/openstreetmap/josm/gui/widgets/JosmEditorPane.java

Timestamp:

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

Author:

stoecker

Message:

fix handling of khmer a bit

File:

• trunk/src/org/openstreetmap/josm/gui/widgets/JosmEditorPane.java (modified) (2 diffs)

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")) + "}");