Re: Rebinding international characters

[Stefan Monnier]

> There is something else with the "subtle" interaction that is quite
> peculiar.  `function-key-map' gets applied before `key-translation-map'.
> Hence, `function-key-map' overrides `key-translation-map' which
> overrides regular keybindings which override `function-key-map'.

Yes, this is a known problem which I pointed out last time I worked on
this code.  Fixing it is very difficult.  Luckily it rarely if ever
introduces problems.

> Circular overriding is not exactly ideal.

There's nothing circular about it, AFAICT.

> + Note however that actual key bindings can have an effect on
> + @code{key-translation-map}, even though they are overridden by it.
> + Indeed, actual key bindings override @code{function-key-map} and thus
> + may alter the key sequence that @code{key-translation-map} receives.
> + Clearly, it is better to avoid to avoid this type of situation.

I'm not sure it's worth documenting.  The whole thing is difficult enough
to understand without entering into those details.


        Stefan