Improved search result list.
Precise selection of matches in code viewer widget.