On 11 April 2013 09:29, Juri Linkov <juri@jurta.org> wrote:
Update the timer for next auto-saving.
Cancel the previous timer and run a new timer when the number
of seconds between auto-saves is a positive integer.
Thanks very much! The only thing I would say is that to a mathmetician the above docstring sounds as though the new timer will be run when the number of seconds between auto-saves is *any* positive integer, wheras presumably you mean that the argument should be a positive integer. Further, it sounds as though the timer will not be cancelled if the number of seconds between auto-saves is not a positive integer. I suggest:
Reset the auto-save timer.
Cancel any previous timer. When `desktop-auto-save-timeout' is a positive integer, start a new timer to call `desktop-auto-save' in that many seconds.