Merge branch 'martin/newsearchlook' into 'master'
Improve the display of search results
See merge request utilities/konsole!105
sandsmark | Jun 15 2020, 10:14 PM |
Commit | Author | Details | Committed | |||
---|---|---|---|---|---|---|
275cb09a7304 | sandsmark | better indication of non-current search result lines | Jun 13 2020 | |||
7c3c8bedafb7 | D17744 | sandsmark | Improve the display of search results | Jun 13 2020 |