Stop sending notification about # typed: false
file
#5720
Merged
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Motivation
We're going to go with #5716 only to show the user what's happening when they
attempt to jump-to-def in a
typed: false
file.It turns out that VS Code will send
textDocument/definition
requests all overthe place as long as the user is holding down Cmd (not only once the click has
come through).
It sends the
textDocument/definition
request to see whether it can change apiece of the source document to look like a blue link.
If it had been the case that VS Code just sent a request once the user had
committed to the request, it would have been easier to tell them why they were
getting no results.
Hopefully the hover message from #5716 will be enough to tell people what's
happening.
Test plan
See included automated tests.