bad ui: padre prompts one by one for files changed on disk

[jquelin]

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

[Sewi]

You expect that all files come from one project, change-on-disk - checking is cheap and that there are only few files open.

Padre has a menu option File -> "Reload all files" which reloads all files based on user request. This is very helpful after doing svn update :-)

[jquelin]

agreed, but yet disrupts the train of thinking. padre proposing the right thing to do would be way better for an intelligent ide. :-)

[adamk]

This no longer happens