### What happens now - Change search results from highlighting one line at a time to highlighting all search results - Move search into the gutter rather than a modal ### Steps to reproduce _No response_ ### Suggested fix _No response_ ### What is not in scope _No response_
What happens now
Steps to reproduce
No response
Suggested fix
No response
What is not in scope
No response