You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The coloring is affected by a special '¬' character. Deleting the optional part with that character solves the problem and the coloring works fine again.
Installed product versions
Description
The coloring is affected by a special '¬' character. Deleting the optional part with that character solves the problem and the coloring works fine again.
Steps to recreate
Current behavior
The coloring is incorrect when using the character '¬' in an ebnf option specification.
Expected behavior
The coloring should be correct for a rule containing that character.
The text was updated successfully, but these errors were encountered: