PlusCal in VS Code
24 views
Skip to first unread message
Amirhosein Sayyadabdi
May 17, 2023, 12:45:48 AM5/17/23
to tla...@googlegroups.com
Hello everyone,
How come the VS Code extension shows every line of PlusCal code in green? Is there any way to change that so that different colors would be used for different keywords, definitions, etc?
Thanks in advance.
Markus Kuppe
May 17, 2023, 12:48:58 AM5/17/23
to tla...@googlegroups.com
Hi
you may have encountered the following issue: https://github.com/tlaplus/vscode-tlaplus/issues/104
Markus
you may have encountered the following issue: https://github.com/tlaplus/vscode-tlaplus/issues/104
Markus
Reply all
Reply to author
Forward
0 new messages