Case insensitive regexp for syntax highlighting

Implemented

Case insensitive regexp for syntax highlighting

0 vote

avatar

Hello Colleagues,

I am using version 2024.2.6.0 64-bit (Beta)
Case sensitive uncheck not working in syntax highlighting. Or my regexp is not correct?





240607-110536-OH02IT.jpg

240607-111052-OH02IT.jpg

240607-110927-OH02IT.jpg

All Comments (6)

avatar

Hello,

It's not currently possible to have the regex be case insensitive through an option. I have moved your forum to the feature request forum, and we have opened an internal ticket to add this.

When it comes to this specific regex though, it seems to work well for me:




Is it possible that one of your other highlighting items takes precedence over this one? Did you try moving it to the top to see if it makes a difference?

Regards,

Hubert Mireault

196ee360-c85c-4a46-acce-b5dc672f0029.png

e8970d4e-afa5-42b6-9a3c-8a81660bbfb1.png

avatar

Hello Hubert

Thanks for your answer.

It's not currently possible to have the regex be case insensitive through an option

Interesting... How it's working in your case? (screenshots)

Is it possible that one of your other highlighting items takes precedence over this one?

It is not possible. This is the only one pattern with "warn"

Maybe the case I have beta version? Sometimes I have little delay with other settings implementation.

avatar

Hello,

Sorry, I misunderstood your scenario. I thought you wanted the final character after "war" to work whether it was a capital letter or a lowercase. I looked at your original message again and now I see that you want to match the word "warn" whether it's in uppercase or lowercase.

Indeed this doesn't seem to work for now unless you use a more complex regex. Here's an example of one that I think achieves what you want:
(W|w)(A|a)(R|r)(N|n)[a-zA-Z0-9]+

Of course I don't think this is a great solution, so we will work on supporting the "case insensitive" option.

Regards,

Hubert Mireault

avatar
Hello,

Sorry, I misunderstood your scenario. I thought you wanted the final character after "war" to work whether it was a capital letter or a lowercase. I looked at your original message again and now I see that you want to match the word "warn" whether it's in uppercase or lowercase.

Indeed this doesn't seem to work for now unless you use a more complex regex. Here's an example of one that I think achieves what you want:
(W|w)(A|a)(R|r)(N|n)[a-zA-Z0-9]+

Of course I don't think this is a great solution, so we will work on supporting the "case insensitive" option.

Regards,


Thanks a lot, Hubert for your help.
That's help for now and probably will rest for the future :)

avatar

I'm glad this helps, thank you for the feedback.
We will still be working on supporting the "case insensitive" option to make this easier in the future.

Regards,

Hubert Mireault

avatar

Hello Dmytro,

The support for case insensitive has been added and will be available in the next major release (2024.3.0.0).

Thank you for your feedback.

Best regards,

Nathan Beauregard