Changeset 14331 in josm for trunk/src/com/kitfox/svg/util

Timestamp:

2018-10-14T17:02:51+02:00 (6 years ago)

Author:

Don-vip

Message:

see #14319, see #16838 - fix regressions introduced in svgSalamander 1.1.2

see ​https://github.com/blackears/svgSalamander/issues/29

File:

• trunk/src/com/kitfox/svg/util/FontSystem.java (modified) (4 diffs)

trunk/src/com/kitfox/svg/util/FontSystem.java

@@ -48 +48 @@
 import java.util.HashMap;
 import java.util.HashSet;
+import java.util.Locale;
 
 /**
@@ -58 +59 @@
     FontMetrics fm;
 
-    HashMap<String, Glyph> glyphCache = new HashMap<String, Glyph>();
+    HashMap<String, Glyph> glyphCache = new HashMap<>();
     
-    static HashSet<String> sysFontNames = new HashSet<String>();
+    static HashSet<String> sysFontNames = new HashSet<>();
 
     public static boolean checkIfSystemFontExists(String fontName)
@@ -66 +67 @@
         if (sysFontNames.isEmpty())
         {
-            for (String name: GraphicsEnvironment.getLocalGraphicsEnvironment().getAvailableFontFamilyNames())
+            for (String name: GraphicsEnvironment.getLocalGraphicsEnvironment().getAvailableFontFamilyNames(Locale.ENGLISH))
             {
                 sysFontNames.add(name);
@@ -80 +81 @@
         for (String fontName: families)
         {
-            if (checkIfSystemFontExists(fontName))
+            String javaFontName = mapJavaFontName(fontName);
+            if (checkIfSystemFontExists(javaFontName))
             {
-                return new FontSystem(fontName, fontStyle, fontWeight, fontSize);
+                return new FontSystem(javaFontName, fontStyle, fontWeight, fontSize);
             }
         }
 
         return null;
+    }
+
+    private static String mapJavaFontName(String fontName) {
+        if ("serif".equals(fontName)) {
+            return java.awt.Font.SERIF;
+        } else if ("sans-serif".equals(fontName)) {
+            return java.awt.Font.SANS_SERIF;
+        } else if ("monospace".equals(fontName)) {
+            return java.awt.Font.MONOSPACED;
+        } else {
+            return fontName;
+        }
     }