Merge branch 'martin/newsearchlook' into 'master'

Authored by sandsmark on Jun 18 2020, 10:15 PM.

Description

Merge branch 'martin/newsearchlook' into 'master'

Improve the display of search results

See merge request utilities/konsole!105

This commit has been deleted in the repository: it is no longer reachable from any branch, tag, or ref.

Merged Changes

CommitAuthorDetailsCommitted
275cb09a7304sandsmark
better indication of non-current search result lines 
Jun 13 2020
7c3c8bedafb7D17744sandsmark
Improve the display of search results 
Jun 13 2020