comparison GETTING.GNU.SOFTWARE @ 7240:195e64dad1eb

(desktop-files-not-to-save): New variable to exclude certain files -- magic ftp names by default -- from being put into desktop files. (desktop-save-buffer-p): Check file name also. (desktop-save-buffer-p): For directories loaded by dired consider the directory to be the file name. (desktop-locals-to-save): Add line-number-mode to be saved when local. (desktop-remove): In case the desktop file cannot be deleted make sure that the desktop system is still inactivated. (desktop-kill): In case an error occurs when saving the desktop, offer to quit regardless. (desktop-save-buffer-p): Disregard case when testing file and buffer names against regexps. (desktop-buffer-dired): Display a warning if a directory no longer exists. (desktop-save-hook): New variable. (desktop-save): Run desktop-save-hook. (desktop-clear): Clear search history. (desktop-internal-v2s): Be more explicit when encountering an unprintable value.
author Karl Heuer <kwzh@gnu.org>
date Sun, 01 May 1994 02:07:27 +0000
parents 87bd6540514f
children 6fcc2c9a1857
comparison
equal deleted inserted replaced
7239:385ac6718f28 7240:195e64dad1eb