Here you can find the source of getDefaultMonoFontSize()
public static int getDefaultMonoFontSize()
//package com.java2s; //License from project: Open Source License import java.awt.Font; public class Main { private static final Font MONOSPACED_FONT = Font.decode("Monospaced"); /** Get size of default monspaced font. Can be used for setting the initial size of some GUI elements. */ public static int getDefaultMonoFontSize() { return MONOSPACED_FONT.getSize(); }//from w w w . j a v a2 s.c o m }