Highlight all - Improvements

[Former user]

This is a continuation of Issue #32.

Your suggestion to use 'Highlight all' and 'W', 'S' to move between highlights works great.

Here are few improvements I'd like to suggest.

1. Option to 'Highlight all' without matching Case, i.e. not case sensitive
2. Option to ignore punctuation in the selection while using 'Highlight all'.

[Andrey Shemetov]

'Highlight all' is not case sensitive:

However it make sense to add 'match case' option to be on par with FF.

Will add an option for ignore punctuation, though it will not not work for all languages.

[Johnson Ds]

'Highlight all' isn't case sensitive indeed. Thanks for pointing that out. Nice work with the Case Sensitive highlight on middle mouse click.

It'd be nice if Highlight all would jump to the result like the 'Find on page' functions. See the below GIF file.

With regards to the punctuation, if a text box with a list of punctuation to be ignored is available in the Preferences, it might work for any language.

When 'Ignore punctuation in the selected text' is enabled and saved, the 'Highlight all' doesn't highlight anything. After disabling the option it highlights but with punctuation. I don't know if it's a bug.

Thanks for your great work.