Auto reload of rapid file changes outside of the editor sometimes loads wrong version.
georgir opened this issue · comments
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.