Font () { UISettings uiSettings = UISettings.getInstance(); Font font = JBUI.CurrentTheme.ToolWindow.headerFont(); if (uiSettings.getOverrideLafFonts()) { return font.deriveFont(uiSettings.getFontSize2D() + JBUI.CurrentTheme.ToolWindow.overrideHeaderFontSizeOffset()); } return font; }