Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Support the "Workspace Symbol" LSP request type #2323

Open
keyboardDrummer opened this issue Jun 29, 2022 · 0 comments
Open

Support the "Workspace Symbol" LSP request type #2323

keyboardDrummer opened this issue Jun 29, 2022 · 0 comments
Labels
kind: enhancement Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny part: language server Support for LSP in Dafny (server part; client is in ide-vscode repo) status: planned The team is planning to work on this in the near future
Milestone
Standard IDE feat...

Comments

@keyboardDrummer
Copy link
Member

keyboardDrummer commented Jun 29, 2022 •
edited
Loading

Support this LSP request type: https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17/specification/#workspace_symbol

Prerequisites
@cpitclaudel cpitclaudel added kind: enhancement Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny part: language server Support for LSP in Dafny (server part; client is in ide-vscode repo) status: planned The team is planning to work on this in the near future labels Jun 29, 2022
@keyboardDrummer keyboardDrummer added this to the Project aware IDE milestone Jun 30, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
kind: enhancement Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny part: language server Support for LSP in Dafny (server part; client is in ide-vscode repo) status: planned The team is planning to work on this in the near future
Projects
None yet
Milestone
Standard IDE features
Development

No branches or pull requests
2 participants
@keyboardDrummer @cpitclaudel