Ticket #895 (new enhancement)
wishlist: marking of search results in the text and in the scrollbar
|Reported by:||zenogantner||Owned by:|
While a search (e.g. the incremental search) is active, all matching occurrences are marked:
- in the text -- so that the user can spot all of them immediately in the visible part of the text,
- in the scrollbar -- so that the user knows where the rest of the results is.
I have attached an example from Chromium, just to illustrate what I mean.