void (@NotNull FontPreferences preferences) { if (myFontPreferencesAreSetExplicitly && Comparing.equal(preferences, myFontPreferences)) return; if (LOG.isDebugEnabled()) { LOG.debug("Font preferences overridden for " + EditorImpl.this, new Throwable()); } myFontPreferencesAreSetExplicitly = true; myFaceName = null; myFontSize = FONT_SIZE_TO_IGNORE; preferences.copyTo(myFontPreferences); reinitFontsAndSettings(); }