Meets #7234: Highlighting of differences in repository does not work

* `#7234` Highlighting of differences in repository does not work