search

clutcher / bh

Issue tracker for Better Highlights Intellij IDEA plugin
8 stars 0 forks source link

A small feature request: Flag to disable case sensitivity #156

Open schittli opened 4 hours ago

schittli commented 4 hours ago

Good evening

Thank you very much for the great freemium version!

I think that this is a mall feature request: When we define e.g. a Comment Token, it is unfortunately case-sensitive.

It would be great / very useful, if there could be a global setting with a flag to specify whether Better Highlights should operate case-sensitive or not.

Thank you very much! best regards, Thomas

clutcher commented 3 hours ago

@schittli I'll take a look, but, most probably, it would be a per token setting, not globally.