@NotNull
  @ApiStatus.Internal
  public String getSpotlightFilterText() {
    if (myHits != null) {
      return myHits.getSpotlightFilter();
    }
    return getFilterText();
  }
@NotNull
  @ApiStatus.Internal
  public String getSpotlightFilterText()