@Override
public Font getFont(EditorFontType key) {
if (UISettings.getInstance().PRESENTATION_MODE) {
final Font font = myFonts.get(key);
return new Font(
font.getName(), font.getStyle(), UISettings.getInstance().PRESENTATION_MODE_FONT_SIZE);
}
return myFonts.get(key);
}
@Override
public Font getTerminalFont() {
Font normalFont = Font.decode(getFontName());
if (normalFont == null) {
normalFont = super.getTerminalFont();
}
normalFont = normalFont.deriveFont(getTerminalFontSize());
return normalFont;
}