Re: function-key-map

[Richard Stallman]

        Stefan> Yes, it's still very useful.  See for example how
        Stefan> term/xterm.el uses both.  Or term/x-win.el.
        Stefan> I.e. it's useful to give optional remapping
        Stefan> corresponding to alternative key-names.

Is there a reason to use `function-key-map' for this,
rather than `key-translation-map'?  Is it so that they won't
be translated if they have bindings?

In any case, the name `function-key-map' doesn't fit this kind of
usage.  I gave it that name because its main purpose was to map escape
sequences into function keys, but that job is now done by
`input-decode-map'.

So perhaps we should rename the current `function-key-map' to
`default-key-translation-map', then rename the current
`input-decode-map' to `function-key-map'.

What do you think?