You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
It's not a problem of the themes, but caused by our flattening of text mate scopes (#3008).
The tokenizer actually returns quite detailed scopes on the source code, but the theme ends up matching against a parent scope.
In the following snippet
this
should be colorizedIt is colorized when I use the monokai theme
@aeschli since
this
is colorized in monokai,this hints that this is an issue with the Dark+ theme?The text was updated successfully, but these errors were encountered: