void () { applyFontPreferences(); EditorFontCache.getInstance().reset(); ((EditorColorsManagerImpl)EditorColorsManager.getInstance()).schemeChangedOrSwitched(null); EditorFactory.getInstance().refreshAllEditors(); }