-
Stefan Monnier authored
(desktop-save-buffer-p): Use it. Also, obey desktop-buffers-not-to-save even for non-file buffers. (desktop-buffer-file): Use pop-to-buffer if switch-to-buffer fails.
80f9f3db
(desktop-save-buffer-p): Use it. Also, obey desktop-buffers-not-to-save even for non-file buffers. (desktop-buffer-file): Use pop-to-buffer if switch-to-buffer fails.