Decimal Points conflicting with Period as Keywords
-
Hello, I’m configuring the syntax highligthing for Picat, wich uses periods as a keyword and are highlighted as such, but this causes numbers with decimal points to not be highligthed at all, as can be seen here, if anyone could help me figure out how to fix/workaround this I’d be glad.
-
Is it possible to define the period as an operator (style 2).
If this doesn’t solve your issue, may you share a test data and your picat styler?Cheers
Claudia -
@Claudia-Frank
That did it, thank you very much.
