Suggestion: Please allow users to disable regex case sensitive match

[schittli]

Hello

Thanks a lot for sharing your great work!,

your extension makes VS Code much more fun to work with.

I have a small suggestion:

The issue

Inline Bookmarks interprets all regex case sensitively, e.g. @todo[\s] does not match @Todo

I contribute to OpenSource projects and we can always agree on the keywords, but I can never force ;-) / motivate them to use explicit upper/lower case. I'm pretty sure that most projects have the same issue: Some Teams prefer TODO, other ToDo…
Last but not least, it is also very annoying when a developer makes a typo and writes ToDo instead of todo: Then tasks are overlooked!

The suggestion

For such situations it would be very useful to be able to configure Inline Bookmarks to process the regex case insensitively.

Thanks a lot, kind regards,
Thomas

[brown-qs]

Hi @schittli is bookmark filter is working?
For me it's totally broken. Would you confirm it's working on your side please?
Thanks!

@tintinweb