Skip to content

Theme changing after metals starts #603

Answered by ckipp01
ex0ns asked this question in Q&A
Discussion options

You must be logged in to vote

Hey @ex0ns! This is a metals feature called semantic tokens. It used to be off by default, but it has recently been turned on by default in Metals. If you want to turn it off you can set enableSemanticHighlighting = false in your config settings. I do that as well since I prefer the treesitter highlighting. With that being said, what you're seeing actually looks like a bug in Metals. I'd recommend actually opening an issue upstream in Metals with a minimal example showing this since that's obviously not what you want to see 😆 .

Replies: 2 comments 3 replies

Comment options

You must be logged in to vote
2 replies
@JL102
Comment options

@ex0ns
Comment options

Answer selected by ex0ns
Comment options

You must be logged in to vote
1 reply
@ckipp01
Comment options

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Category
Q&A
Labels
None yet
3 participants