diff etc/HELLO @ 81322:71d53e1b86d0

(desktop-save-mode-off): New function. (desktop-base-lock-name, desktop-not-loaded-hook): New variables. (desktop-full-lock-name, desktop-file-modtime, desktop-owner, desktop-claim-lock, desktop-release-lock): New functions. (desktop-kill): Tell `desktop-save' that this is the last save. Release the lock afterwards. (desktop-buffer-info): New function. (desktop-save): Use it. Run `desktop-save-hook' where the doc says to. Detect conflicts, and manage the lock. (desktop-read): Detect conflicts. Manage the lock.
author Juanma Barranquero <lekktu@gmail.com>
date Tue, 12 Jun 2007 09:10:05 +0000
parents dc23aaa67696
children 713172dcf518 52a7f3f50b89
line wrap: on
line diff