diff options
| author | Eli Zaretskii | 2001-07-12 07:09:34 +0000 |
|---|---|---|
| committer | Eli Zaretskii | 2001-07-12 07:09:34 +0000 |
| commit | 58b9e19f22e38cc9e8cd960a00656980a1bd9519 (patch) | |
| tree | d9ebfdf12b21de58ce30f29898b49de537f3f13d | |
| parent | ec402ad4328f5bb8bdfcbbad6c1c4a34f2ef5a8d (diff) | |
| download | emacs-58b9e19f22e38cc9e8cd960a00656980a1bd9519.tar.gz emacs-58b9e19f22e38cc9e8cd960a00656980a1bd9519.zip | |
(Non-ASCII Rebinding): Fix a typo. Add index entries.
| -rw-r--r-- | man/custom.texi | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/man/custom.texi b/man/custom.texi index ddd51360177..5a42291ca32 100644 --- a/man/custom.texi +++ b/man/custom.texi | |||
| @@ -1757,6 +1757,8 @@ because the terminal sends the same character in both cases. | |||
| 1757 | 1757 | ||
| 1758 | @node Non-ASCII Rebinding | 1758 | @node Non-ASCII Rebinding |
| 1759 | @subsection Non-ASCII Characters on the Keyboard | 1759 | @subsection Non-ASCII Characters on the Keyboard |
| 1760 | @cindex rebinding non-ASCII keys | ||
| 1761 | @cindex non-ASCII keys, binding | ||
| 1760 | 1762 | ||
| 1761 | If your keyboard has keys that send non-ASCII characters, such as | 1763 | If your keyboard has keys that send non-ASCII characters, such as |
| 1762 | accented letters, rebinding these keys is a bit tricky. There are two | 1764 | accented letters, rebinding these keys is a bit tricky. There are two |
| @@ -1791,7 +1793,7 @@ inside the vector to bind: | |||
| 1791 | (global-set-key [@var{decimal-code}] 'some-function) | 1793 | (global-set-key [@var{decimal-code}] 'some-function) |
| 1792 | @end example | 1794 | @end example |
| 1793 | 1795 | ||
| 1794 | If you bind 8-bit characters like this in your init file, you my find it | 1796 | If you bind 8-bit characters like this in your init file, you may find it |
| 1795 | convenient to specify that it is unibyte. @xref{Enabling Multibyte}. | 1797 | convenient to specify that it is unibyte. @xref{Enabling Multibyte}. |
| 1796 | 1798 | ||
| 1797 | @node Mouse Buttons | 1799 | @node Mouse Buttons |