Method getMonoFontName

app/src/processing/app/ui/Toolkit.java:1003–1009

()

  static public String getMonoFontName() {
    if (monoFont == null) {
      // create a dummy version if the font has never been loaded (rare)
      getMonoFont(12, Font.PLAIN);
    }
    return monoFont.getName();
  }


  static public Font getMonoFont(int size, int style) {