diff options
| -rw-r--r-- | man/misc.texi | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/man/misc.texi b/man/misc.texi index f1e05cae89c..f54bb3a79e2 100644 --- a/man/misc.texi +++ b/man/misc.texi | |||
| @@ -1937,7 +1937,8 @@ another directory by typing @kbd{M-x desktop-change-dir}. Typing | |||
| 1937 | @kbd{M-x desktop-revert} reverts to the desktop previously reloaded. | 1937 | @kbd{M-x desktop-revert} reverts to the desktop previously reloaded. |
| 1938 | 1938 | ||
| 1939 | Specify the option @samp{--no-desktop} on the command line when you | 1939 | Specify the option @samp{--no-desktop} on the command line when you |
| 1940 | don't want it to reload any saved desktop. | 1940 | don't want it to reload any saved desktop. This turns off |
| 1941 | @code{desktop-save-mode} for the current session. | ||
| 1941 | 1942 | ||
| 1942 | @vindex desktop-restore-eager | 1943 | @vindex desktop-restore-eager |
| 1943 | By default, all the buffers in the desktop are restored at one go. | 1944 | By default, all the buffers in the desktop are restored at one go. |