mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
IDEA-133649: reuse secondary fonts in color scheme delegate
This commit is contained in:
@@ -6039,6 +6039,16 @@ public final class EditorImpl extends UserDataHolderBase implements EditorEx, Hi
|
||||
myFontPreferences.clear();
|
||||
myFontPreferences.register(editorFontName, editorFontSize);
|
||||
|
||||
EditorColorsScheme delegate = getDelegate();
|
||||
List<String> secondaryFonts = delegate != null ? delegate.getFontPreferences().getRealFontFamilies() : ContainerUtil.<String>emptyList();
|
||||
boolean first = true; //skip delegate's primary font
|
||||
for (String font : secondaryFonts) {
|
||||
if (!first) {
|
||||
myFontPreferences.register(font, editorFontSize);
|
||||
}
|
||||
first = false;
|
||||
}
|
||||
|
||||
myFontsMap = new EnumMap<EditorFontType, Font>(EditorFontType.class);
|
||||
|
||||
Font plainFont = new Font(editorFontName, Font.PLAIN, editorFontSize);
|
||||
|
||||
Reference in New Issue
Block a user