void () { Settings allSettings = Settings.KEY.getData(DataManager.getInstance().getDataContext(getPanel())); if (allSettings != null) { if (!AppConsoleFontOptions.getInstance().isUseEditorFont()) { final Configurable fontConfigurable = allSettings.find(AppConsoleFontConfigurable.ID); if (fontConfigurable != null) { allSettings.select(fontConfigurable); } } else { ColorAndFontOptions colorAndFontOptions = allSettings.find(ColorAndFontOptions.class); if (colorAndFontOptions != null) { Configurable editorFontConfigurable = colorAndFontOptions.findSubConfigurable(ColorAndFontOptions.getFontConfigurableName()); if (editorFontConfigurable != null) { allSettings.select(editorFontConfigurable); } } } } }