@Override
  public final void highlight(@NotNull JComponent component, @NotNull String searchString) {
    if (isNewSearchString(searchString) && isInsideThisPanel(component)) {
      if (component instanceof TabLabel) {
        Container parent = component.getParent();
        if (parent instanceof JBTabs) {
          ((JBTabs)parent).select(((TabLabel)component).getInfo(), false);
        }
      }
      else {
        JPanel tabPanel = findTabbedPaneChild(component);
        if (tabPanel != null) {
          JTabbedPane tabbedPane = (JTabbedPane)tabPanel.getParent();
          int index = tabbedPane.indexOfComponent(tabPanel);
          if (index >= 0) {
            tabbedPane.setSelectedIndex(index);
          }
        }
      }
    }
  }
@Override
  public final void highlight(@NotNull JComponent component, @NotNull String searchString)