public String getFontName() {
List<String> fonts = myColorScheme.getConsoleFontPreferences().getEffectiveFontFamilies();
if (fonts.size() > 0) {
return fonts.get(0);
}
return "Monospaced-14";
}
@Override
public float getTerminalFontSize() {
return (float) myColorScheme.getConsoleFontSize();
}
@Override
public TextStyle getSelectionColor() {
return new TextStyle(
TerminalColor.awt(myColorScheme.getColor(EditorColors.SELECTION_FOREGROUND_COLOR)),
TerminalColor.awt(myColorScheme.getColor(EditorColors.SELECTION_BACKGROUND_COLOR)));
}
@Override
public TextStyle getDefaultStyle() {
return new TextStyle(
TerminalColor.awt(myColorScheme.getDefaultForeground()),
TerminalColor.awt(myColorScheme.getDefaultBackground()));
}
@Override
public float getLineSpace() {
return myColorScheme.getConsoleLineSpacing();
}
