float () { String font = getConsoleFontName(); UISettings uiSettings = UISettings.getInstanceOrNull(); if ((uiSettings == null || !uiSettings.getPresentationMode()) && getConsoleFontPreferences().hasSize(font)) { return getConsoleFontPreferences().getSize2D(font); } return getEditorFontSize2D(); }