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