Re: Rebinding international characters

[Luc Teirlinck]

Stefan Monnier wrote:

   > + 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.

It is even more difficult to understand without it.

If you give a sequence that has a binding in `function-key-map', or a
prefix of such a sequence, a regular binding, there are two things to
worry about.  Firstly, you can not use the corresponding function key
anymore.  That is obvious.  Secondly, you may have inadvertently
messed up `key-translation-map'.  This is less obvious, especially
given the fact that the precedence rules are very confusing.  It has
to be pointed out.  (Unless the code itself would be changed to get
rid of the problem, but I do not believe that there are plans to do that.)

Also, once one notices the strange fact that `function-key-map'
overrides `key-translation-map', which overrides regular keybindings
which override `function-key-map', one immediately starts wondering
about the details of what happens if all three interact.  The
paragraph above may not give _all_ details, but it provides at least
some indication.

Sincerely,

Luc.