[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Q: How to programatically terminate repeat-mode
From: |
T.V Raman |
Subject: |
Re: Q: How to programatically terminate repeat-mode |
Date: |
Sun, 02 Oct 2022 17:28:28 -0700 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux) |
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)
?7?4 Id: kg:/m/0285kf1 ?0?8
- Re: Q: How to programatically terminate repeat-mode, T.V Raman, 2022/10/02
- Re: Q: How to programatically terminate repeat-mode, T.V Raman, 2022/10/02
- Re: Q: How to programatically terminate repeat-mode, Juri Linkov, 2022/10/02
- Re: Q: How to programatically terminate repeat-mode,
T.V Raman <=
- Re: Q: How to programatically terminate repeat-mode, Juri Linkov, 2022/10/03
- Re: Q: How to programatically terminate repeat-mode, Stefan Monnier, 2022/10/03
- Re: Q: How to programatically terminate repeat-mode, T.V Raman, 2022/10/03
- Re: Q: How to programatically terminate repeat-mode, Juri Linkov, 2022/10/03
- Re: Q: How to programatically terminate repeat-mode, T.V Raman, 2022/10/03
- Re: Q: How to programatically terminate repeat-mode, T.V Raman, 2022/10/03
- Re: Q: How to programatically terminate repeat-mode, T.V Raman, 2022/10/03