int (int tabPlacement, int tabIndex, int fontHeight) { Insets borderInsets = getContentBorderInsets(tabPlacement); return JBRunnerTabs.getTabLabelPreferredHeight() - borderInsets.top - borderInsets.bottom; }