Re: BUFFER_SWITCH_EVENT

[Eli Zaretskii]

> From: Stefan Monnier <address@hidden>
> Cc: address@hidden
> Date: Tue, 25 Sep 2018 13:19:34 -0400
> 
> >> We already look them up presumably in the right place.  I don't
> >> understand why we'd need to look them up again after running
> >> a process filter.
> > Because a filter could have switched buffers, I presume.
> 
> I don't follow:
> 
> 1- we enter read-key-sequence
> 2- we read the set of keymaps
> 3- some process filter is executed, changing the current buffer
> 4- the set of keymaps that we need to use is still the same we computed
>    at 2 and the keymaps themselves are also still the same
> 
> What am I missing?

You are asking the wrong guy, but I will try anyway: since the buffer
changed, we need to replay the key sequence using the keymaps local to
that buffer, not the ones we computed at 2.  Right?