@Override
  public @NotNull FontPreferences getConsoleFontPreferences() {
    AppConsoleFontOptions consoleFontOptions = AppConsoleFontOptions.getInstance();
    return consoleFontOptions.isUseEditorFont() ? consoleFontPreferences : consoleFontOptions.getFontPreferences();
  }
@Override
  public @NotNull FontPreferences getConsoleFontPreferences()