Skip to content
Discussion options

You must be logged in to vote

@jmenzies12 Thanks for raising this issue.

I looked into this, and the problem is that the onDidChangeCustomDocument event from the connector fires on each changed document. Currently the editor provider just reuses this event as is. As a consequence the onDidChangeCustomDocument event for the editor provider might fire if a document was changed that has not been provided by this provider.

We need to filter the event properly down so that it only fires for documents of the provider itself.

I will create an issue for that.

Replies: 2 comments 3 replies

Comment options

You must be logged in to vote
1 reply
@jmenzies12
Comment options

Answer selected by tortmayr
Comment options

You must be logged in to vote
2 replies
@reyesource
Comment options

@tortmayr
Comment options

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
3 participants