Ryzh (Jun 17 2024 at 08:34): Ryzh (Jun 17 2024 at 08:34):Hi everyone!!!
I'm wondering what theme you end up using, because most of the default ones are not highlighted properly. (I'm using the Roc extension (unofficial) by Ivan Demchenko)
cheers
Anton (Jun 17 2024 at 09:57):There have been some Roc syntax changes since the latest release, Ivan Demchenko may not have time. I'll fork the extension sometime and look into doing some updates. Other people are also welcome to take this on of course :p
Luke Boswell (Jun 17 2024 at 09:57):Screenshot-2024-06-17-at-19.57.36.png
This is what it looks like for me...
Luke Boswell (Jun 17 2024 at 09:58):Pretty sure I'm just on the default settings
Ryzh (Jun 17 2024 at 10:03):I am currently using the Github Purple one. It looks nice
https://marketplace.visualstudio.com/items?itemName=4a454646.github-purple
image.png
Anton (Jun 17 2024 at 10:28):I use Dark modern
Ian McLerran (Jun 17 2024 at 13:28):I'm using Atom One Dark
Screenshot-2024-06-17-at-08.25.44.png
Ryzh (Jun 17 2024 at 14:28):@Ian McLerran Nice one!
Last updated: Jul 06 2025 at 12:14 UTC