[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] TLA+ for Visual Studio Code



It looks like you are affected by https://github.com/tlaplus/vscode-tlaplus/issues/104

Markus

> On Dec 24, 2022, at 1:18 AM, Karl Ang <karljin.ang@xxxxxxxxx> wrote:
> 
> Was just trying out the Visual Studio version of TLA+ -- it works! Thank you for this great extension.
> 
> Only one thing I am having problem with is that Visual studio detects the Pluscal code as comments and does not color the text like shown on the Getting Started  TLA+ Visual Studio page. How do you get visual studio to color the fonts?
> 
> The picture attached: some pluscal test code and they are all comment colored.
> 
> Thank you.

-- 
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/68BDCD2D-8339-4597-8315-4C7EB6BE31BF%40lemmster.de.