Agree with @vfaronov that only files that have changed on disk should be reloaded, reloading other files just wastes time and wastes memory keeping the undo buffer for them. And even more importantly only reload files that do not have unsaved changes in the buffer, silently appearing to lose users changes is not acceptable.
@vfaronov I am not sure that one all or nothing dialog is the right way, maybe it should have a checklist of which to reload or otherwise it should be a separate dialog per file. -- 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-298200518
