Juri Linkov <juri@linkov.net> writes:

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.

>> However I needed to explicitly use (push 7 unread-command-events)
>> rather than the more readable (push repeat-exit-key
>> unread-command-events)
>>
>> since unread-command-events doesn't like having a vector pushed onto it.
>
> Actually, the most reliable solution would be to use repeat-exit-timer
> because the timer function should run the repeat exit function.
> I don't know if there is a function to run the timer function immediately.
> The only way that I found is to change the timer's time to 0 seconds,
> then the existing timer will fire immediately.  For example:
>
>   (when repeat-exit-timer
>     (timer-set-idle-time repeat-exit-timer 0))

-- 

Thanks,

--Raman(I Search, I Find, I Misplace, I Research)
♈ Id: kg:/m/0285kf1  🦮