Stream: beginners

Topic: What vs code theme do you use?


view this post on Zulip 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

view this post on Zulip 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

view this post on Zulip 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...

view this post on Zulip Luke Boswell (Jun 17 2024 at 09:58):

Pretty sure I'm just on the default settings

view this post on Zulip 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

view this post on Zulip Anton (Jun 17 2024 at 10:28):

I use Dark modern

view this post on Zulip Ian McLerran (Jun 17 2024 at 13:28):

I'm using Atom One Dark
Screenshot-2024-06-17-at-08.25.44.png

view this post on Zulip Ryzh (Jun 17 2024 at 14:28):

@Ian McLerran Nice one!


Last updated: Jul 06 2025 at 12:14 UTC