Skip to content
Discussion options

You must be logged in to vote

This should now be resolved on the latest main. Along with (what feels like) an improved highlighting for workspace_symbol and workspace_symbol_live scopes.

Thanks again for pointing out this behavior!

Replies: 2 comments 4 replies

Comment options

You must be logged in to vote
3 replies
@stryan
Comment options

@echasnovski
Comment options

@echasnovski
Comment options

Comment options

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

Answer selected by echasnovski
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Category
Q&A
Labels
question Further information is requested mini.pick mini.extra
2 participants