Merge branch 'martin/newsearchlook' into 'master'
Improve the display of search results
See merge request utilities/konsole!105
Description
Description
Details
Details
- Committed
sandsmark Jun 19 2020, 10:51 PM - Parents
- R319:6e51fa2fad90: Change 'Rename Tab' menu items to 'Configure Tab Settings'
R319:275cb09a7304: better indication of non-current search result lines - Branches
- Unknown
- Tags
- References
- refs/merge-requests/105/merge
Merged Changes
Merged Changes
| 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 |