This silently reloads files that have unsaved changes. The changes can then be recovered by invoking “undo” in each affected document, but I think this is dangerous. I could invoke “reload all” by accident and then I don’t even know what to undo.

Maybe a dialog box like this would be appropriate:

The following 3 files have unsaved changes:

/home/vasiliy/foo/bar/baz
/home/vasiliy/quux/xyzzy
/home/vasiliy/wololo

Do you want to reload them as well? The changes will be gone, but you can restore them by invoking “undo” in individual documents.

<Yes, reload these files>     <No, skip these files>

Personally, I would also be OK with silently skipping such files — that’s what I do now in my plugin. But at least a message in the status bar would be useful and easy to add.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.