Re: read_char() does not detect, handle special-event-map buffer changes

[Stefan Monnier]

>> I've just installed a patch (in trunk) which touches read_key_sequence
>> intrusively (in case you still had doubts whether I was a masochist).
>> This should hopefully fix your problem (at least it fixes the
>> sigusr1-handler test case you sent).  It also cleans up the code a bit.
>> Hopefully it doesn't introduce too many new problems.
> Thank you.  The change works for my full app.

Thank you for confirming it fixes the problem for you.

> What version number will trunk become?  24.4?

Yes.


        Stefan