@Override public int getConsoleFontSize() { String font = getConsoleFontName(); UISettings uiSettings = UISettings.getInstance(); if ((uiSettings == null || !uiSettings.PRESENTATION_MODE) && myConsoleFontPreferences.hasSize(font)) { return myConsoleFontPreferences.getSize(font); } return getEditorFontSize(); }