@Override
  protected void applyFontPreferences() {
    boolean isUseEditorFont = myFontOptionsPanel.myUseEditorFontBox.isSelected();
    AppConsoleFontOptions.getInstance().setUseEditorFont(isUseEditorFont);
    if (!isUseEditorFont) {
      super.applyFontPreferences();
    }
  }
@Override
  protected void applyFontPreferences()