-
Notifications
You must be signed in to change notification settings - Fork 1
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.
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
VS Code Extensions should keep their Editors in sync even when files change externally #119
Comments
@tiagobento what in case that
|
Hello @tiagobento, @jomarko. There is a solution using VS Code API FileSystemWatcher implemented in the Extended Services VS Code Extension. We could replicate this for the other editors. I could move the solution to the base code vscode-extension and do only the necessary changes directly to the editors. As for the conflict handling between file sources, there is no standard way. But, we could do something similar to this: |
@Josephblt thank you for the link for the notification example. I think, yes, this can be an acceptable solution for the ticket. My only question is, will such notification appear:
|
Actually this should appear whenever there are differences between sources and VS Code has focus. Let's say for example, the user reverted changes to a repository using command line. When VS Code gets it's focus back, the popup appears. |
When using VS Code, if you have any file, like
my-dmn.dmn
open, and you do agit pull
that changes this file, the Editor does not update, basically ignoring thegit pull
you just did. That's just an example, any external change you make to files that are open in VS Code will not update them.That's really bad, because if you make a change, you'll override what you just pulled.
The expected behavior is that the Editor will reload itself if its associated file changed externally, thus displaying the updated version of the file.
The text was updated successfully, but these errors were encountered: