void highlightingChanged(@NotNull List<TraceElement> values, @NotNull PropagationDirection direction);
void highlightingChanged(@NotNull List<TraceElement> values, @NotNull PropagationDirection direction)