comparison make-dist @ 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 69151e6e8613
children 4b9e26bc6f59 ec58e5c426ef
comparison
equal deleted inserted replaced
81321:efd70d9613c7 81322:71d53e1b86d0