On Wed, 3 Feb 2010 12:23:50 +0000 Nick Treleaven <[email protected]> wrote:
> On Wed, 3 Feb 2010 10:22:27 +0100 > Joerg Desch <[email protected]> wrote: > 1. 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. > 2. 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 -- Email: Joerg Desch <jd DOT vvd AT web DOT de> _______________________________________________ Geany mailing list [email protected] http://lists.uvena.de/cgi-bin/mailman/listinfo/geany
