Might not be a huge change, most of the code already exists to search/mark the whole document and to do incremental matches.

Possibly, but its not going to be trivial. I actually wasn't being sarcastic about redesigning it, I know how browsers work, (you didn't need to provide an example :) and I often find it useful. But I don't see how it will work with regexen, running a partial regex simply isn't useful, so both approaches will need to exist.

I also find the marking of matches in the scroll bar to be useful (on Chrome, it doesn't seem to happen on your Tiredfox image above).

Also some thought about how it works with replace, or does that stay as it is?

As I said pull requests or maybe design suggestions first are welcome, but whilst I am interested and will likely find it useful, I won't work on it myself.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.