@Override public Font getTerminalFont() { Font normalFont = Font.decode(getFontName()); if (normalFont == null) { normalFont = super.getTerminalFont(); } normalFont = normalFont.deriveFont(getTerminalFontSize()); return normalFont; }