void (@NotNull List<TraceElement> values) { if (myPrevListener == null) return; final List<TraceElement> prevValues = values.stream().flatMap(x -> getPrevValues(x).stream()).collect(Collectors.toList()); myPrevListener.highlightingChanged(prevValues, PropagationDirection.BACKWARD); }