Re: Tramp with global-auto-revert-mode.

[David Kastrup]

address@hidden (Kim F. Storm) writes:

> David Kastrup <address@hidden> writes:
> > 
> > We probably should not run one and the same timer while it has not
> > yet finished, but freeze different ones?
> 
> That would be easy (it can be done in timer-event-handler).

Uh, that was a rhetorical question, short for "are you really sure
that freezing different timers would be a good idea?".

-- 
David Kastrup, Kriemhildstr. 15, 44793 Bochum