markluffel
diff --git a/Collapse file
‎app/src/processing/app/syntax/SyntaxStyle.java‎
Copy file name to clipboardExpand all lines: app/src/processing/app/syntax/SyntaxStyle.java
+47-14Lines changed: 47 additions & 14 deletions b/Collapse file
‎app/src/processing/app/syntax/SyntaxStyle.java‎
Copy file name to clipboardExpand all lines: app/src/processing/app/syntax/SyntaxStyle.java
+47-14Lines changed: 47 additions & 14 deletions
@@ -12,6 +12,8 @@
 import java.awt.*;
 import javax.swing.JComponent;
 
+import processing.app.Preferences;
+
 
 /**
  * A simple text style class. It can specify the color, italic flag,
@@ -82,7 +84,7 @@ public Font getStyledFont(Font font)
 //                              (bold ? Font.BOLD : 0)
 //                              | (italic ? Font.ITALIC : 0),
 //                              font.getSize());
-    lastStyledFont = 
+    lastStyledFont =
       findFont(font.getFamily(), bold ? Font.BOLD : Font.PLAIN, font.getSize());
     return lastStyledFont;
   }
@@ -102,35 +104,66 @@ public FontMetrics getFontMetrics(Font font, JComponent comp) {
 //                              (bold ? Font.BOLD : 0)
 //                              | (italic ? Font.ITALIC : 0),
 //                              font.getSize());
-    lastStyledFont = 
+    lastStyledFont =
       findFont(font.getFamily(), bold ? Font.BOLD : Font.PLAIN, font.getSize());
 
     //fontMetrics = Toolkit.getDefaultToolkit().getFontMetrics(lastStyledFont);
     fontMetrics = comp.getFontMetrics(lastStyledFont);
     return fontMetrics;
   }
-  
-  private String monoFontFamily;
-  
+
+  /*
+    on Windows (and I presume Linux) we get something like this:
+
+    mono family Source Code Pro
+    mono fontname Source Code Pro
+    mono name Source Code Pro
+    mono psname SourceCodePro-Regular
+
+    mono family Source Code Pro Semibold
+    mono fontname Source Code Pro Semibold
+    mono name Source Code Pro Semibold
+    mono psname SourceCodePro-Semibold
+
+    ...which means that 'family' is not a usable method.
+  */
+  //private String monoFontFamily;
+
   private Font findFont(String familyName, int style, int size) {
+    // getFamily() is too unreliable across platforms
+    if (Preferences.get("editor.font").startsWith("processing.mono")) {
+      return processing.app.Toolkit.getMonoFont(size, style);
+    } else {
+      return new Font(familyName, style, size);
+    }
+    /*
     if (monoFontFamily == null) {
+      // This should be more reliable across platforms than the
+      // family name, which only seems to work correctly on OS X.
+      // (Or perhaps only when it's installed locally.)
+      String psName =
+        processing.app.Toolkit.getMonoFont(size, style).getPSName();
+      int dash = psName.indexOf('-');
+      monoFontFamily = psName.substring(0, dash);
+
       // Just get the font family name for comparison
-      monoFontFamily = 
-        processing.app.Toolkit.getMonoFont(size, style).getFamily();
+      //monoFontFamily =
+        //processing.app.Toolkit.getMonoFont(size, style).getFamily();
       //processing.app.Toolkit.getMonoFont(size, style).getFamily();
-//      Font mono = processing.app.Toolkit.getMonoFont(size, style);
-//      System.out.println("mono family " + mono.getFamily());
-//      System.out.println("mono fontname " + mono.getFontName());
-//      System.out.println("mono name " + mono.getName());
-//      System.out.println("mono psname " + mono.getPSName());
+      Font mono = processing.app.Toolkit.getMonoFont(size, style);
+      System.out.println("mono family " + mono.getFamily());
+      System.out.println("mono fontname " + mono.getFontName());
+      System.out.println("mono name " + mono.getName());
+      System.out.println("mono psname " + mono.getPSName());
     }
     if (familyName.equals(monoFontFamily)) {
-//      System.out.println("getting style bold? " + (style == Font.BOLD));
+      System.out.println("getting style bold? " + (style == Font.BOLD));
       return processing.app.Toolkit.getMonoFont(size, style);
     } else {
-//      System.out.println("name is " + name + " mono name is " + monoFontName + " " + style);
+      //System.out.println("name is " + name + " mono name is " + monoFontName + " " + style);
       return new Font(familyName, style, size);
     }
+    */
   }
 
   /**