Skip to content

No labels!

There aren’t any labels for this repository quite yet.

79 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
registration
registration
2
rename
rename
2
semantic tokens
semantic tokens
10
September 2021
September 2021
show message
show message
4
signature help
signature help
4
symbol documentation
symbol documentation
1
symbol search
symbol search
1
ui state
ui state
under-discussion
under-discussion
Issue is under discussion for relevance, priority, approach
verification-found
verification-found
Issue verification failed
verification-needed
verification-needed
Verification of issue is requested
verification-steps-needed
verification-steps-needed
Steps to verify are needed for verification
verified
verified
Verification succeeded
~version-info-needed
~version-info-needed
Issue requires version information from poster
web-site
web-site
won't fix
won't fix
workspace edit
workspace edit
1
workspace symbols
workspace symbols
7