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 Rename LSP request type #2322

Closed
keyboardDrummer opened this issue Jun 29, 2022 · 0 comments · Fixed by #4365
Closed

Support the Rename LSP request type #2322

keyboardDrummer opened this issue Jun 29, 2022 · 0 comments · Fixed by #4365
Assignees
@alex-chew
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/#textDocument_rename

Prerequisites

Implementation hints

Assisted renaming requires the same information as "Find references", so check out the code for that one to figure out how to implement this.
@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
@alex-chew alex-chew mentioned this issue Aug 1, 2023
Merged
3 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@alex-chew alex-chew

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

Successfully merging a pull request may close this issue.

feat: LSP rename support alex-chew/dafny
3 participants
@keyboardDrummer @alex-chew @cpitclaudel