@Override
  public void highlightingChanged(@NotNull List<TraceElement> values, @NotNull PropagationDirection direction) {
    highlightAll(values);
    propagate(values, direction);
  }
@Override
  public void highlightingChanged(@NotNull List<TraceElement> values, @NotNull PropagationDirection direction)