diff options
| author | Michael Albinus | 2020-01-19 14:25:20 +0100 |
|---|---|---|
| committer | Michael Albinus | 2020-01-19 14:25:20 +0100 |
| commit | 83f9fe44facb1e5aff00e46effcf12604fa3e601 (patch) | |
| tree | 77fd5230a7793766765ec79b95505966bbc4cbf7 | |
| parent | 2eb0b7835d1a9cd4b804436e33c71058cb38f178 (diff) | |
| download | emacs-83f9fe44facb1e5aff00e46effcf12604fa3e601.tar.gz emacs-83f9fe44facb1e5aff00e46effcf12604fa3e601.zip | |
; * etc/NEWS: Fix typo.
| -rw-r--r-- | etc/NEWS | 2 |
1 files changed, 1 insertions, 1 deletions
| @@ -2041,7 +2041,7 @@ variable for remote shells. It still defaults to "/bin/sh". | |||
| 2041 | *** 'shell-command-dont-erase-buffer' accepts the value 'erase' to | 2041 | *** 'shell-command-dont-erase-buffer' accepts the value 'erase' to |
| 2042 | force to erase the output buffer before execution of the command. | 2042 | force to erase the output buffer before execution of the command. |
| 2043 | 2043 | ||
| 2044 | *** The new functions shell-command-save-pos-or-erase' and | 2044 | *** The new functions 'shell-command-save-pos-or-erase' and |
| 2045 | 'shell-command-set-point-after-cmd' control how point is handled | 2045 | 'shell-command-set-point-after-cmd' control how point is handled |
| 2046 | between two consecutive shell commands in the same buffer. | 2046 | between two consecutive shell commands in the same buffer. |
| 2047 | 2047 | ||