Re: Need Help with defining highlight definition

[Benoît Minisini <benoit.minisini@xxxxxxxxxxxxxxxx>]

Le 16/07/2025 à 19:49, Brian G a écrit :
> Submitted merge request for two items, allow caseless matches in the 
> texhighlighter, and fixed bug in theme load to allow .../
>
> Added TextHighligher extension @ignorecase <true|false> so it can be 
> placed into the highlighter file where needed.
>
> Also updated the highlighter.highlighter to highlight the @ignorecase 
> directive.
>
> I hope this is acceptable!

Hi,

Something disturbs me in your merge request.

You made 'ignore case' a global option of the highlighter, whereas it 
makes sense only in the 'word', 'symbol' and 'keyword' commands.

For me, it should be an option for these commands only.

So it would just be a matter of finding a new syntax to indicate that 
the command is case unsensitive.

I suggest adding the ability to pass options to any command that way:

	command(option,option...)

and then just implementing 'keyword(ignorecase)'.

What do you think?

--
Benoît Minisini.