Non-gray comment text color after \* when including ==

[sepehr541]

Description:

Commented after \* has non-gray text color when there is == (definition) is included as a comment.

Steps to reproduce:

---- MODULE Expect ----
EXTENDS TLC

TODO == FALSE

A == TODO \* B == C

====

Expectations:

Expected the text after \* to be grayed out as any other comment.

• note the = instead of ==

Version Information:

• Plugin Version: 2025.1.180451
• OS: Linux bluefin 6.11.8-300.fc41.x86_64
• VSCode Version: 1.96.1

[lemmy]

One more observation: The comment does not get highlighted if B has non-zero arity.

[sepehr541]

As per @lemmy 's comment:

[lemmy]

Note that B() == C is invalid TLA.

[FedericoPonzi]

hi @sepehr541 I've pushed a pr that should have fixed the above issue. Please try out the latest version and feel free to reopen if the issue is not solved for you! Thanks a lot for reporting.