diff make-dist @ 55599:055b9a2c6093

(timer-activate): Add optional arg triggered-p. Use it to set triggered-p element of timer. (timer-event-handler): Set triggered-p element non-nil while running the timer function.
author Kim F. Storm <storm@cua.dk>
date Fri, 14 May 2004 23:09:35 +0000
parents 400d9bd54631
children b5f2181a40b9
line wrap: on
line diff