diff options
Diffstat (limited to 'lispref/os.texi')
| -rw-r--r-- | lispref/os.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lispref/os.texi b/lispref/os.texi index 7bc7679921..1e6dacb7d8 100644 --- a/lispref/os.texi +++ b/lispref/os.texi @@ -1721,7 +1721,7 @@ 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. +Clearly, it is better to avoid this type of situation. The intent of @code{key-translation-map} is for users to map one character set to another, including ordinary characters normally bound |