@Override
  public void setUseEditorFontPreferencesInConsole() {
    consoleFontPreferences = new DelegatingFontPreferences(() -> fontPreferences);
    initFonts();
  }
@Override
  public void setUseEditorFontPreferencesInConsole()