search

BerkeleyLearnVerify / Scenic

A compiler and scenario generator for the Scenic scenario description language.
https://scenic-lang.org/
Other
283 stars 97 forks source link

Syntax Highlighting in VSCode #135

Closed abol-karimi closed 1 year ago

abol-karimi commented 1 year ago

Feature request.

dfremont commented 1 year ago

Hello Abofazl, we plan to publish a VS Code extension for this soon (using the grammar here, which also works for Sublime Text). If you would like to try out the current prototype, I'm attaching it here: you can unzip it and use the "Install from VSIX" command under the Extensions drop-down menu to install it. Note that the default VS Code color theme does a poor job with it since it doesn't give operators a different color from ordinary text; some other themes like Monokai work better. Let me know if you have any feedback.

Scenic-1.1.0.vsix.zip

abol-karimi commented 1 year ago

Thanks a lot! It works perfectly fine with Atom One Dark Theme.

dfremont commented 1 year ago

The Scenic extension for VS Code is now available in the Marketplace: https://marketplace.visualstudio.com/items?itemName=UCSCFormalMethods.Scenic