Do not overwrite and check if file has been recently saved by another application

[GoogleCodeExporter]

When TexMaker is open and another application changes the content of a file 
(typically Git), saving the file in TexMaker (or just compiling it) will 
overwrite the file discarding the changes by the other application.

This behavior is particularly problematic when TexMaker is used in conjunction 
with Git.
Indeed when pulling new changes, Git will update the content of the tex file to 
its new version but TexMaker will need to be closed and then started again for 
the changes to be taken into account.
Most inexperienced users do not notice and erases the changes of the other 
collaborators. The situation is even worse in case of merge with conflict.

I really think that checking if the file has been saved more recently (just 
date comparison) would be a very desirable feature to TexMaker.

Original issue reported on code.google.com by benoit.l...@gmail.com on 12 May 2015 at 8:11

[GoogleCodeExporter]

Options -> Editor -> check for external changes

Original comment by pa.brac...@gmail.com on 12 May 2015 at 8:18

• Changed state: Done

[GoogleCodeExporter]

Oh sorry, I didn't see this option.
Then I'm just raising the question "shouldn't it be enabled by default ?"
The usecase I have just mentioned is extremely common.
However to use this switch, one must first notice the issue (not say that it 
might be a Git bug), then understand it, then search for a switch and find it.

Original comment by benoit.l...@gmail.com on 13 May 2015 at 7:07