diff options
| author | Eli Zaretskii | 2017-12-22 11:19:56 +0200 |
|---|---|---|
| committer | Eli Zaretskii | 2017-12-22 11:19:56 +0200 |
| commit | 90ca37feed236a2eb9d61e412dc3805aa8ad8933 (patch) | |
| tree | 57253333baeeeacff8c64ca55328db73f133dbac /doc | |
| parent | d60faf32757ef007c7b5d07a8b248ee4a6f8f83e (diff) | |
| download | emacs-90ca37feed236a2eb9d61e412dc3805aa8ad8933.tar.gz emacs-90ca37feed236a2eb9d61e412dc3805aa8ad8933.zip | |
Fix documentation of 'mouse-drag-and-drop-region' and friends
* doc/emacs/frames.texi (Drag and Drop): Index
'mouse-drag-and-drop-region-cut-when-buffers-differ',
'mouse-drag-and-drop-region-show-tooltip', and
'mouse-drag-and-drop-region-show-cursor'.
* etc/NEWS: Fix the format of the related entries.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/emacs/frames.texi | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/emacs/frames.texi b/doc/emacs/frames.texi index 5a052600ce4..0c994078327 100644 --- a/doc/emacs/frames.texi +++ b/doc/emacs/frames.texi | |||
| @@ -1114,6 +1114,9 @@ names a modifier key, such as @samp{shift}, @samp{control} or | |||
| 1114 | will copy it instead of cutting it, even if you drop on the same | 1114 | will copy it instead of cutting it, even if you drop on the same |
| 1115 | buffer as the one from which the text came. | 1115 | buffer as the one from which the text came. |
| 1116 | 1116 | ||
| 1117 | @vindex mouse-drag-and-drop-region-cut-when-buffers-differ | ||
| 1118 | @vindex mouse-drag-and-drop-region-show-tooltip | ||
| 1119 | @vindex mouse-drag-and-drop-region-show-cursor | ||
| 1117 | In order to cut text even when source and destination buffers differ, | 1120 | In order to cut text even when source and destination buffers differ, |
| 1118 | set the option | 1121 | set the option |
| 1119 | @code{mouse-drag-and-drop-region-cut-when-buffers-differ} to a | 1122 | @code{mouse-drag-and-drop-region-cut-when-buffers-differ} to a |