[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Emacs-diffs] master 1392ec7 2/3: A quicker check for quit
From: |
Stefan Monnier |
Subject: |
Re: [Emacs-diffs] master 1392ec7 2/3: A quicker check for quit |
Date: |
Sun, 29 Jan 2017 12:47:57 -0500 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/25.2.50 (gnu/linux) |
>>>>> "Eli" == Eli Zaretskii <address@hidden> writes:
[...]
Thanks. This nicely matches what I remember, but I wasn't sure (I'm
obviously quite familiar with this story, since I was the one who
introduced the SYNC_INPUT changes, yet I never quite understood the
details of the immediate_quit thingy).
> This is why we started inserting QUIT in places that could potentially
> hang or take a long time -- to allow the user to interrupt them sooner
> rather than later. And that is why the recent changes which removed
> QUIT and added setting immediate_quit non-zero are a move in the wrong
> direction -- we should be doing the exact opposite.
So, IIUC we should basically get rid of immediate_quit.
Since I never really understood it, I'd be happy to see it disappear ;-)
[ But, it's obviously not urgent. ]
Stefan
- Re: [Emacs-diffs] master 1392ec7 2/3: A quicker check for quit, Stefan Monnier, 2017/01/26
- Re: [Emacs-diffs] master 1392ec7 2/3: A quicker check for quit, Paul Eggert, 2017/01/26
- Re: [Emacs-diffs] master 1392ec7 2/3: A quicker check for quit, Eli Zaretskii, 2017/01/26
- Re: [Emacs-diffs] master 1392ec7 2/3: A quicker check for quit, Eli Zaretskii, 2017/01/29
- Re: [Emacs-diffs] master 1392ec7 2/3: A quicker check for quit, Paul Eggert, 2017/01/29
- Re: [Emacs-diffs] master 1392ec7 2/3: A quicker check for quit, Eli Zaretskii, 2017/01/30
- Re: [Emacs-diffs] master 1392ec7 2/3: A quicker check for quit, Paul Eggert, 2017/01/30
- Re: [Emacs-diffs] master 1392ec7 2/3: A quicker check for quit, Eli Zaretskii, 2017/01/31
- Re: [Emacs-diffs] master 1392ec7 2/3: A quicker check for quit, Stefan Monnier, 2017/01/31
- Re: [Emacs-diffs] master 1392ec7 2/3: A quicker check for quit, Paul Eggert, 2017/01/31