private void setupEditorFont(final EditorEx editor) {
    if (myInheritSwingFont) {
      ((EditorImpl)editor).setUseEditorAntialiasing(false);
      editor.getColorsScheme().setEditorFontName(getFont().getFontName());
      editor.getColorsScheme().setEditorFontSize(getFont().getSize());
      return;
    }
    float currentEditorFontSize = UISettingsUtils.getInstance().getScaledEditorFontSize();
    if (editor.getColorsScheme().getEditorFontSize2D() != currentEditorFontSize) {
      editor.putUserData(ZoomIndicatorManager.SUPPRESS_ZOOM_INDICATOR_ONCE, true);
      editor.setFontSize(currentEditorFontSize);
    }
  }
private void setupEditorFont(final EditorEx editor)