diff options
| author | Lars Ingebrigtsen <larsi@gnus.org> | 2016-04-29 14:36:23 +0200 |
|---|---|---|
| committer | Lars Ingebrigtsen <larsi@gnus.org> | 2016-05-01 19:27:08 +0200 |
| commit | 3cbc1e342791ce11b1fe2ce9e3d66f7431c656c2 (patch) | |
| tree | 8dfd225b864c60be53b9a73002ed86b99d7774a1 /doc/emacs/mark.texi | |
| parent | de8349e125d24e1e53cdb5c54d45a32582682ff2 (diff) | |
| download | emacs-3cbc1e342791ce11b1fe2ce9e3d66f7431c656c2.tar.gz emacs-3cbc1e342791ce11b1fe2ce9e3d66f7431c656c2.tar.bz2 emacs-3cbc1e342791ce11b1fe2ce9e3d66f7431c656c2.zip | |
Change all occurrences of "Mouse-[0-9]" to "mouse-[0-9]"
* doc/emacs/*.texi: Change all occurrences of "Mouse-[0-9]" to
"mouse-[0-9]". These are case sensitive, and the keys are lower case
(bug#14554).
(cherry picked from commit e4c26271f2c2fe08f8490e25c63a436ab2a804ca)
Diffstat (limited to 'doc/emacs/mark.texi')
| -rw-r--r-- | doc/emacs/mark.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/emacs/mark.texi b/doc/emacs/mark.texi index dd47532e7ed..fdba0a47461 100644 --- a/doc/emacs/mark.texi +++ b/doc/emacs/mark.texi @@ -69,9 +69,9 @@ The same. @item C-x C-x Set the mark at point, and activate it; then move point where the mark used to be (@code{exchange-point-and-mark}). -@item Drag-Mouse-1 +@item Drag-mouse-1 Set point and the mark around the text you drag across. -@item Mouse-3 +@item mouse-3 Set the mark at point, then move point to where you click (@code{mouse-save-then-kill}). @item @samp{Shifted cursor motion keys} |