• Juanma Barranquero's avatar
    (desktop-save-mode-off): New function. · e88110db
    Juanma Barranquero authored
    (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.
ChangeLog 32.3 KB