Skip to content

Conversation

@JeanJPNM
Copy link

Fixes jumpToOrigin to graciously handle empty arrays returned from textDocument/definition and friends. Originially the function crashed with TypeError: can't access property "uri", loc is undefined.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant