Menu

#13 Exernal File Modification Unheld

open
nobody
None
5
2007-08-31
2007-08-31
No

The program doesn't notice whether an external program should modify an open file with JediEdit thus causing the lose of these changes if you save then the file with JediEdit.

Example:
1) Opening of file with JediEdit
2) An external program modifies the file
3) ...
4) You modify and save the file with JediEdit
=> You lose the work done by the external program
without even knowing it happened!

I think you could add a point 3) in which JediEdit periodically monitors the time/date of the open file in order to know if it has been modified externally and in that case prompt the user to continue or reload it from disk before continuing.

Thank you in advance.

Paolo Caviasca

Discussion