bad ui: padre prompts one by one for files changed on disk
|Reported by:||jquelin||Owned by:|
padre checks periodically if current file is changed on disk. if that's the case, it prompts the user whether to reload the file.
now take the casual git user which works on a project with lots of files opened at the same time. at some point in time, she checks out another branch of the same project.
==> padre warns of file changes for *each* opened file!
this is just plain wrong. i propose that if a file has changed on disk, padre checks all files and displays a list with checkboxes in order for user to select which files to reopen.
i guess the ui can be shared with the one proposed in ticket #454