There is already a feature to detect when a file is changed by another program and reload it - after confirmation if there were unsaved edits, or automatically and silently if there weren't.
But it is not working right when multiple consecutive changes happen in a very short interval. For example, the rapid changes from git stash;git pull; git stash pop would sometimes cause the version after the stash to be loaded instead of the final version. This can cause loss of important edits if not noticed.
I guess adding some delay to the reload so that file changes are sure to have settled down can solve this.
There is already a feature to detect when a file is changed by another program and reload it - after confirmation if there were unsaved edits, or automatically and silently if there weren't.
But it is not working right when multiple consecutive changes happen in a very short interval. For example, the rapid changes from
git stash;git pull; git stash popwould sometimes cause the version after the stash to be loaded instead of the final version. This can cause loss of important edits if not noticed.I guess adding some delay to the reload so that file changes are sure to have settled down can solve this.