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 or view it on GitHub:
https://github.com/geany/geany/pull/1471#issuecomment-298175346

Reply via email to