@Override
  public float getConsoleFontSize2D() {
    String font = getConsoleFontName();
    UISettings uiSettings = UISettings.getInstanceOrNull();
    if ((uiSettings == null || !uiSettings.getPresentationMode()) && getConsoleFontPreferences().hasSize(font)) {
      return getConsoleFontPreferences().getSize2D(font);
    }
    return getEditorFontSize2D();
  }
@Override
  public float getConsoleFontSize2D()