Open
Description
It would be great if it were detected when the file you are editing has been changed externally, and if possible, automatically reload the file.
I imagine it could work similarly to vim and kakoune, i.e. if there are no modifications that have yet to be written, just reload the file, and treat it as a single modification that can be undone. If there are modifications that haven't been written yet, prompt the user about what they would like to do:
- Ignore the changes, keep that's in the editor buffer, and let a write happen over the external change, whatever it was
- Reload the file anyway, essentially "adding" to the unsaved changes