Method getFont

app/src/processing/app/Preferences.java:350–359

(String familyAttr, String sizeAttr, int style)

  static public Font getFont(String familyAttr, String sizeAttr, int style) {
    int fontSize = getInteger(sizeAttr);

    String fontFamily = get(familyAttr);
    if ("processing.mono".equals(fontFamily) ||
        Toolkit.getMonoFontName().equals(fontFamily)) {
      return Toolkit.getMonoFont(fontSize, style);
    }
    return new Font(fontFamily, style, fontSize);
  }


  // . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .