public String getFontName() { List<String> fonts = myColorScheme.getConsoleFontPreferences().getEffectiveFontFamilies(); if (fonts.size() > 0) { return fonts.get(0); } return "Monospaced-14"; }