diff nt/icons/gnu3b32.ico @ 32366:40d8b29df57e

(desktop-modes-not-to-save): New var. (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.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Tue, 10 Oct 2000 16:42:37 +0000
parents 354e0c45cedf
children
line wrap: on
line diff