Font (char[] text, int start, int end, @NotNull TextStyle style) { int fontStyle = Font.PLAIN; if (style.hasOption(TextStyle.Option.BOLD)) { fontStyle |= Font.BOLD; } if (style.hasOption(TextStyle.Option.ITALIC)) { fontStyle |= Font.ITALIC; } FontInfo fontInfo = ComplementaryFontsRegistry.getFontAbleToDisplay( text, start, end, fontStyle, mySettingsProvider.getColorsScheme().getConsoleFontPreferences(), null); return fontInfo.getFont().deriveFont((float)mySettingsProvider.getUiSettingsManager().getFontSize()); }