Am 03.02.2010 16:18, schrieb Frank Lanitz:
Joerg Desch wrote:
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.
I agree with mentioned above points. Just curious: Could this be done as
part of the addons plugin?
Thanks,
Frank
No idea, but is it too heavy for the core? I imagine it adds a button to
a core dialog, and when it's pressed already existing core functions are
called.
Best regards
_______________________________________________
Geany mailing list
[email protected]
http://lists.uvena.de/cgi-bin/mailman/listinfo/geany