id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
767	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"	defect	closed	major		editor	0.50	fixed