Re: discrepancy between read-key-sequence and manual

[David Kastrup]

Richard Stallman <address@hidden> writes:

> Lots of documentation says that overriding-terminal-local-map
> overrides overriding-local-map.  So I think we should make the code
> fit all that documentation.
>
> In practice, overriding-local-map is not used very much, so there is
> not much chance for there to be code that depends on the current
> behavior.
>
> Does this patch do the job?

It would appear so, but I am currently "flying by instrument", namely
just doing a 666 (reading and writing code, but not yet executing it).

I'll holler when I am through.

-- 
David Kastrup, Kriemhildstr. 15, 44793 Bochum