void (String fontName) { if (Objects.equals(fontName, myFaceName)) return; if (LOG.isDebugEnabled()) { LOG.debug("Font name overridden for " + EditorImpl.this, new Throwable()); } myFontPreferencesAreSetExplicitly = false; myFaceName = fontName; reinitFontsAndSettings(); }