[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: BUFFER_SWITCH_EVENT
From: |
Eli Zaretskii |
Subject: |
Re: BUFFER_SWITCH_EVENT |
Date: |
Tue, 25 Sep 2018 21:32:34 +0300 |
> From: Stefan Monnier <address@hidden>
> Date: Tue, 25 Sep 2018 14:14:26 -0400
> Cc: address@hidden
>
> I suspect that the main original use for this special input event has
> been made redundant when we changed read-key-sequence to recompute the
> set of active keymaps when it receives the first event.
Like I said: you are asking the wrong guy. You should be asking
yourself, since no one did more changes in this area recently than you
did.
- Re: while-no-input interrupted by *shell*, (continued)
- BUFFER_SWITCH_EVENT (was: while-no-input interrupted by *shell*), Stefan Monnier, 2018/09/25
- Re: BUFFER_SWITCH_EVENT (was: while-no-input interrupted by *shell*), Eli Zaretskii, 2018/09/25
- Re: BUFFER_SWITCH_EVENT, Stefan Monnier, 2018/09/25
- Re: BUFFER_SWITCH_EVENT, Eli Zaretskii, 2018/09/25
- Re: BUFFER_SWITCH_EVENT, Stefan Monnier, 2018/09/25
- Re: BUFFER_SWITCH_EVENT, Eli Zaretskii, 2018/09/25
- Re: BUFFER_SWITCH_EVENT, Stefan Monnier, 2018/09/25
- Re: BUFFER_SWITCH_EVENT,
Eli Zaretskii <=
- Re: BUFFER_SWITCH_EVENT, Eli Zaretskii, 2018/09/25
- Re: BUFFER_SWITCH_EVENT, Stefan Monnier, 2018/09/25
- Re: BUFFER_SWITCH_EVENT, Eli Zaretskii, 2018/09/26
- Re: BUFFER_SWITCH_EVENT, Stefan Monnier, 2018/09/26
Re: while-no-input interrupted by *shell*, Andreas Schwab, 2018/09/24
Re: while-no-input interrupted by *shell*, Stefan Monnier, 2018/09/24
while-no-input and pending input (was: while-no-input interrupted by *shell*), Michael Heerdegen, 2018/09/25