Re: Caching where-is-internal

[Stefan Monnier]

> This makes sense. Thanks. Then we have to figure out why this spurious
> cache flush happens.

The cache checks that the set of active keymaps is the same as
last time `where-is-internal` was called.
So if the set of active keymaps is different, the cache will be flushed.

Otherwise, the cache is also flushed by `set-keymap-parent` and
`define-key` (search for `where_is_cache` in src/keymap.c for details).


        Stefan