On Wed, 3 Feb 2010 12:23:50 +0000 Nick Treleaven nick.treleaven@btinternet.com wrote:
On Wed, 3 Feb 2010 10:22:27 +0100 Joerg Desch jd.vvd@web.de wrote:
- I think it should not reload any unsaved documents as the
user may have forgotten about changes when clicking reload all.
Thats a good idea.
- It could be optimised to only reload files that have the
timestamp changed on disk.
Yes, only the timestamp. The file size must be ignored.
Regards