search

rogershen / chrome-regex-search

Other
272 stars 56 forks source link

New User - 2 Requests #7

Closed johnrs closed 8 years ago

johnrs commented 8 years ago

Hi. I love it! I've set it to Ctrl-F. :)

I do both case sensitive and insensitive searches. Having to pull up the Options page to switch between the two modes is a bit of a nuisance. I wonder if this option could be moved to the search box instead?

The only thing I miss, compared to Chrome's search, is marking the finds on the scroll bar. Any chance of this? Even if it meant adding a bar next to the scroll bar, I think it would be handy.

Thanks!

rogershen commented 8 years ago

Hi, Thanks for the suggestions. I have added case insensitive search to the popup menu. This will be in version 1.0.7. I'm not sure about Chrome extension support for your second request, but I will certainly look into it.

johnrs commented 8 years ago

Thanks very much!