void (boolean useEditorFont) { if (useEditorFont) { myDelegatingPreferences = new DelegatingFontPreferences(()->AppEditorFontOptions.getInstance().getFontPreferences()); myTracker.incModificationCount(); } else { myDelegatingPreferences = null; update(AppEditorFontOptions.getInstance().getFontPreferences()); } }