@Override
      public Dimension getPreferredSize() {
        Dimension size = super.getPreferredSize();
        if (size.height > 0) {
          size.height = JBRunnerTabs.getTabLabelPreferredHeight() - tabs.getBorderThickness();
        }
        return size;
      }
@Override
      public Dimension getPreferredSize()