Sign up
View stargazers0Sign up

Z 1332/show search results in scrollbar (#2687)

This PR adds highlighting of search results to the scrollbar.

Release Notes:

- Added highlighting of search results to the scrollbar.
3ca0170264Piotr Osiewicz committed on 7/6/2023, 5:28:21 PM· committed by GitHubparentsb4ed034793eff1
5 files changedLine totals unavailable