834 |
;; First element of `desktop-buffer-misc' is the value of `dired-directory'. |
;; First element of `desktop-buffer-misc' is the value of `dired-directory'. |
835 |
;; This value is a directory name, optionally with with shell wildcard or |
;; This value is a directory name, optionally with with shell wildcard or |
836 |
;; a directory name followed by list of files. |
;; a directory name followed by list of files. |
837 |
(let* ((dired-directory (car desktop-buffer-misc)) |
(let* ((dired-dir (car desktop-buffer-misc)) |
838 |
(dir (if (consp dired-directory) (car dired-directory) dired-directory))) |
(dir (if (consp dired-dir) (car dired-dir) dired-dir))) |
839 |
(if (file-directory-p (file-name-directory dir)) |
(if (file-directory-p (file-name-directory dir)) |
840 |
(progn |
(progn |
841 |
(dired dired-directory) |
(dired dired-dir) |
842 |
|
;; The following elements of `desktop-buffer-misc' are the keys |
843 |
|
;; from `dired-subdir-alist'. |
844 |
(mapcar 'dired-maybe-insert-subdir (cdr desktop-buffer-misc)) |
(mapcar 'dired-maybe-insert-subdir (cdr desktop-buffer-misc)) |
845 |
(current-buffer)) |
(current-buffer)) |
846 |
(message "Directory %s no longer exists." dir) |
(message "Directory %s no longer exists." dir) |