@Override
  public void setEditorFontSize(float fontSize) {
    fontSize = EditorFontsConstants.checkAndFixEditorFontSize(fontSize);
    ensureEditableFontPreferences().register(fontPreferences.getFontFamily(), fontSize);
    initFonts();
    setSaveNeeded(true);
  }
@Override
  public void setEditorFontSize(float fontSize)