@Override
  public void setUseAppFontPreferencesInEditor() {
    fontPreferences = new DelegatingFontPreferences(() -> AppEditorFontOptions.getInstance().getFontPreferences());
    initFonts();
  }
@Override
  public void setUseAppFontPreferencesInEditor()