diff options
| author | Juri Linkov | 2004-05-28 20:56:41 +0000 |
|---|---|---|
| committer | Juri Linkov | 2004-05-28 20:56:41 +0000 |
| commit | c9ce1e404884df24ac309aa4d848051853e9c6c3 (patch) | |
| tree | 58e2643053059d644deab2c4fc7c20831cd51474 | |
| parent | 4ce0541e4409ccc8b50303c19d28d61193aa107d (diff) | |
| download | emacs-c9ce1e404884df24ac309aa4d848051853e9c6c3.tar.gz emacs-c9ce1e404884df24ac309aa4d848051853e9c6c3.zip | |
(Info-desktop-buffer-misc-data): Don't save information
about virtual files.
(Info-restore-desktop-buffer): Restore Info buffers in prepared
buffers with names obtained from the desktop file instead of the
default *info* buffer.
| -rw-r--r-- | lisp/info.el | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/lisp/info.el b/lisp/info.el index 84ee6ac5e79..14183383743 100644 --- a/lisp/info.el +++ b/lisp/info.el | |||
| @@ -3871,7 +3871,8 @@ BUFFER is the buffer speedbar is requesting buttons for." | |||
| 3871 | 3871 | ||
| 3872 | (defun Info-desktop-buffer-misc-data (desktop-dirname) | 3872 | (defun Info-desktop-buffer-misc-data (desktop-dirname) |
| 3873 | "Auxiliary information to be saved in desktop file." | 3873 | "Auxiliary information to be saved in desktop file." |
| 3874 | (list Info-current-file Info-current-node)) | 3874 | (if (not (member Info-current-file '("apropos" "history" "toc"))) |
| 3875 | (list Info-current-file Info-current-node))) | ||
| 3875 | 3876 | ||
| 3876 | ;;;###autoload | 3877 | ;;;###autoload |
| 3877 | (defun Info-restore-desktop-buffer (desktop-buffer-file-name | 3878 | (defun Info-restore-desktop-buffer (desktop-buffer-file-name |
| @@ -3881,6 +3882,9 @@ BUFFER is the buffer speedbar is requesting buttons for." | |||
| 3881 | (let ((first (nth 0 desktop-buffer-misc)) | 3882 | (let ((first (nth 0 desktop-buffer-misc)) |
| 3882 | (second (nth 1 desktop-buffer-misc))) | 3883 | (second (nth 1 desktop-buffer-misc))) |
| 3883 | (when (and first second) | 3884 | (when (and first second) |
| 3885 | (when desktop-buffer-name | ||
| 3886 | (set-buffer (get-buffer-create desktop-buffer-name)) | ||
| 3887 | (Info-mode)) | ||
| 3884 | (Info-find-node first second) | 3888 | (Info-find-node first second) |
| 3885 | (current-buffer)))) | 3889 | (current-buffer)))) |
| 3886 | 3890 | ||