void (float fontSize) { float originalSize = UISettingsUtils.getInstance().scaleFontSize(getDelegate().getEditorFontSize2D()); float minSize = Math.min(MIN_FONT_SIZE, originalSize); if (fontSize < minSize) { fontSize = minSize; } float maxSize = Math.max(myMaxFontSize, originalSize); if (fontSize > maxSize) { fontSize = maxSize; } if (fontSize == myFontSize) { return; } if (LOG.isDebugEnabled()) { LOG.debug("Font size overridden for " + EditorImpl.this, new Throwable()); } myFontPreferencesAreSetExplicitly = false; if (fontSize == originalSize) { myFontSize = FONT_SIZE_TO_IGNORE; } else { myFontSize = fontSize; } reinitFonts(); reinitSettings(true, false); }