3871 |
|
|
3872 |
(defun Info-desktop-buffer-misc-data (desktop-dirname) |
(defun Info-desktop-buffer-misc-data (desktop-dirname) |
3873 |
"Auxiliary information to be saved in desktop file." |
"Auxiliary information to be saved in desktop file." |
3874 |
(list Info-current-file Info-current-node)) |
(if (not (member Info-current-file '("apropos" "history" "toc"))) |
3875 |
|
(list Info-current-file Info-current-node))) |
3876 |
|
|
3877 |
;;;###autoload |
;;;###autoload |
3878 |
(defun Info-restore-desktop-buffer (desktop-buffer-file-name |
(defun Info-restore-desktop-buffer (desktop-buffer-file-name |
3882 |
(let ((first (nth 0 desktop-buffer-misc)) |
(let ((first (nth 0 desktop-buffer-misc)) |
3883 |
(second (nth 1 desktop-buffer-misc))) |
(second (nth 1 desktop-buffer-misc))) |
3884 |
(when (and first second) |
(when (and first second) |
3885 |
|
(when desktop-buffer-name |
3886 |
|
(set-buffer (get-buffer-create desktop-buffer-name)) |
3887 |
|
(Info-mode)) |
3888 |
(Info-find-node first second) |
(Info-find-node first second) |
3889 |
(current-buffer)))) |
(current-buffer)))) |
3890 |
|
|