[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#45117: 28.0.50; process-send-string mysteriously exiting non-locally
From: |
Eli Zaretskii |
Subject: |
bug#45117: 28.0.50; process-send-string mysteriously exiting non-locally when called from timer |
Date: |
Thu, 10 Dec 2020 21:55:06 +0200 |
> From: João Távora <joaotavora@gmail.com>
> Date: Thu, 10 Dec 2020 19:47:08 +0000
> Cc: Stefan Monnier <monnier@iro.umontreal.ca>, 45117@debbugs.gnu.org
>
> > The reason, quite obviously, is to prevent user's C-g from aborting
> > the timer function.
>
> I agree, but playing devil's advocate, can you expand on the
> rationale for that? Why shouldn't timer functions be abortable?
I think that's the wrong question. The right question is how probable
is it that the user presses C-g to abort a timer function that just
happens to run at this very moment. I think the answer is "extremely
improbable". It is much more probable that C-g was meant for
something else, some activity that is much more evident to the user.
Like getting out of the minibuffer after deciding that the command
does not need to be invoked after all, for example.
- bug#45117: 28.0.50; process-send-string mysteriously exiting non-locally when called from timer, (continued)
- bug#45117: 28.0.50; process-send-string mysteriously exiting non-locally when called from timer, João Távora, 2020/12/10
- bug#45117: 28.0.50; process-send-string mysteriously exiting non-locally when called from timer, João Távora, 2020/12/10
- bug#45117: 28.0.50; process-send-string mysteriously exiting non-locally when called from timer, Dmitry Gutov, 2020/12/10
- bug#45117: 28.0.50; process-send-string mysteriously exiting non-locally when called from timer, Stefan Monnier, 2020/12/10
- bug#45117: 28.0.50; process-send-string mysteriously exiting non-locally when called from timer, João Távora, 2020/12/10
- bug#45117: 28.0.50; process-send-string mysteriously exiting non-locally when called from timer, Stefan Monnier, 2020/12/10
- bug#45117: 28.0.50; process-send-string mysteriously exiting non-locally when called from timer, Eli Zaretskii, 2020/12/10
- bug#45117: 28.0.50; process-send-string mysteriously exiting non-locally when called from timer, João Távora, 2020/12/10
- bug#45117: 28.0.50; process-send-string mysteriously exiting non-locally when called from timer, Eli Zaretskii, 2020/12/10
- bug#45117: 28.0.50; process-send-string mysteriously exiting non-locally when called from timer, João Távora, 2020/12/10
- bug#45117: 28.0.50; process-send-string mysteriously exiting non-locally when called from timer,
Eli Zaretskii <=
- bug#45117: 28.0.50; process-send-string mysteriously exiting non-locally when called from timer, João Távora, 2020/12/10
- bug#45117: 28.0.50; process-send-string mysteriously exiting non-locally when called from timer, Eli Zaretskii, 2020/12/10
- bug#45117: 28.0.50; process-send-string mysteriously exiting non-locally when called from timer, João Távora, 2020/12/10
- bug#45117: 28.0.50; process-send-string mysteriously exiting non-locally when called from timer, Dmitry Gutov, 2020/12/10
- bug#45117: 28.0.50; process-send-string mysteriously exiting non-locally when called from timer, Stefan Monnier, 2020/12/10
- bug#45117: 28.0.50; process-send-string mysteriously exiting non-locally when called from timer, João Távora, 2020/12/10
- bug#45117: 28.0.50; process-send-string mysteriously exiting non-locally when called from timer, Stefan Monnier, 2020/12/10
- bug#45117: 28.0.50; process-send-string mysteriously exiting non-locally when called from timer, Dmitry Gutov, 2020/12/10
- bug#45117: 28.0.50; process-send-string mysteriously exiting non-locally when called from timer, Stefan Monnier, 2020/12/10
- bug#45117: 28.0.50; process-send-string mysteriously exiting non-locally when called from timer, João Távora, 2020/12/10