@Override
  public void setConsoleFontName(String fontName) {
    ModifiableFontPreferences consolePreferences = ensureEditableConsoleFontPreferences();
    float consoleFontSize = getConsoleFontSize2D();
    consolePreferences.clear();
    consolePreferences.register(fontName, consoleFontSize);
  }
@Override
  public void setConsoleFontName(String fontName)