Less aggressive "reload file" dialogs

[jleclanche]

Currently, when a file is modified on disk while it's open in juffed, a "reload file" dialog willl pop. This can get very annoying when doing something such as "git reset" when a lot of files are already open.

Proposal: Instead of a dialog, show an infobar at the top (between the tabs and the document), one per document, similar to what Chrome does for eg. translation/crash notifications etc. The infobar will only be shown for the currently-open document. Less confusing, less aggressive.

[Mezomish]

Sounds reasonable.

[q4a]

Same for me. Will try to "fix" it asap.