diff options
| author | Lars Ingebrigtsen | 2019-08-02 12:44:31 +0200 |
|---|---|---|
| committer | Lars Ingebrigtsen | 2019-08-02 12:44:40 +0200 |
| commit | ccc52f1d97ad71f2af3f237168018180fa4f873f (patch) | |
| tree | 2c3edc49338df280fdecbb1201c9284d15aba552 | |
| parent | 408e75e819f70ed47000bc31b34435a4bad33c0c (diff) | |
| download | emacs-ccc52f1d97ad71f2af3f237168018180fa4f873f.tar.gz emacs-ccc52f1d97ad71f2af3f237168018180fa4f873f.zip | |
Use "rebinding keys" in the "Rebinding" section of the manual
* doc/emacs/custom.texi (Rebinding): Use the term "rebinding keys"
instead of "redefining keys", because the former seems more
logical (bug#21036).
| -rw-r--r-- | doc/emacs/custom.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/emacs/custom.texi b/doc/emacs/custom.texi index dda10adbe49..8fbc6c1ca08 100644 --- a/doc/emacs/custom.texi +++ b/doc/emacs/custom.texi | |||
| @@ -1698,7 +1698,7 @@ They do not bind @key{SPC}. | |||
| 1698 | @node Rebinding | 1698 | @node Rebinding |
| 1699 | @subsection Changing Key Bindings Interactively | 1699 | @subsection Changing Key Bindings Interactively |
| 1700 | @cindex key rebinding, this session | 1700 | @cindex key rebinding, this session |
| 1701 | @cindex redefining keys, this session | 1701 | @cindex rebinding keys, this session |
| 1702 | @cindex binding keys | 1702 | @cindex binding keys |
| 1703 | 1703 | ||
| 1704 | The way to redefine an Emacs key is to change its entry in a keymap. | 1704 | The way to redefine an Emacs key is to change its entry in a keymap. |