The highlighting was done in both itemSelected() and in
docViewChanged() when a new file was opened due to selecting an item.

The file-names were a bit different in files searched on disk. compared
to already open files. -> Use QUrl file-names also for disk files.