Re: Q: How to programatically terminate repeat-mode

[Juri Linkov <juri@linkov.net>]

> Replacing the earlier (push 7 unread-command-events)
> with
> (when repeat-exit-timer
>       (timer-set-idle-time repeat-exit-timer 0))
>
> in my disable-repeat function that I called from the process-sentinel of
> the media player -- with check for exit as the guard condition has no
> effect and the repeat remains in effect.

Maybe you are starting multiple timers?  Currently repeat-mode cancels
all previously started timers, but unfortunately cancel-timer for
repeat-exit-timer doesn't run its timer function that should exit
the repeat map.  I propose to add a new optional argument RUN-FUNCTION
to cancel-timer, that will run the timer function after canceling the timer.
This means copying this part of timer-event-handler to cancel-timer:

  (save-current-buffer
    (apply (timer--function timer) (timer--args timer)))