public void setUseEditorFont(boolean useEditorFont) {
    if (useEditorFont) {
      myDelegatingPreferences = new DelegatingFontPreferences(()->AppEditorFontOptions.getInstance().getFontPreferences());
      myTracker.incModificationCount();
    }
    else {
      myDelegatingPreferences = null;
      update(AppEditorFontOptions.getInstance().getFontPreferences());
    }
  }
public void setUseEditorFont(boolean useEditorFont)