better indication of non-current search result lines
Description
Description
Details
Details
- Committed
sandsmark Jun 13 2020, 9:58 AM - Parents
- R319:7c3c8bedafb7: Improve the display of search results
- Branches
- Unknown
- Tags
- References
- refs/merge-requests/105/head, refs/keep-around/275cb09a73043249679aa92e835c2a9ea56cd151