Hallo Jochen, habe es eben mit der 7.2 getestet, funktioniert wirklich nicht. Würde aber auch erwarten, dass der Treffer markiert wird. Auch die Option "Ergebnisliste immer öffnen" bringt nichts.
Entweder ist das ein Bug oder ein Feature, das müsste dann DocuWare sagen können. Falls es wichtig ist, würde ich dazu ein Supportfall eröffnen.