Perform file monitoring during Diffing

Diff tool editor is a very handy tool for me to perform modifications on the spot, without a miss out anything.

However, I may sometimes switch between IDE and SmartGit's Diff tool editor.

When I perform an edit in IDE and forget to refresh the currently opened Diff tool editor, it will override all my IDE changes, if I press save in the Diff tool editor.

It will be great if the Diff tool comes with a file monitoring feature with the current logic

1. If it detects the file on disk has changed, and there is no change made in the Diff tool editor itself, it will silently reload the file.

2. If it detects the file on disk has changed, and there is a change made in the Diff tool editor, it will show a prompt, to ask the user whether he wants to reload.

Thank you.