float () { if (myFontPreferencesAreSetExplicitly) { return myFontPreferences.getSize2D(myFontPreferences.getFontFamily()); } if (myFontSize == FONT_SIZE_TO_IGNORE) { return UISettingsUtils.getInstance().scaleFontSize(getDelegate().getEditorFontSize2D()); } return myFontSize; }