Method setFont

ij/src/main/java/ij/plugin/frame/Editor.java:1748–1750

()

    }
    
    void setFont() {
        ta.setFont(new Font(getFontName(), Font.PLAIN, (int) (sizes[fontSizeIndex] * Prefs.getGuiScale())));
    }
    
    String getFontName() {
    	return monospaced.getState()?"Monospaced":"SansSerif";