[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: desktop.el not playing nice
From: |
Richard Stallman |
Subject: |
Re: desktop.el not playing nice |
Date: |
Mon, 18 Apr 2005 17:06:54 -0400 |
1. Just change --no-desktop to disabel desktop-save-mode.
I think that is the right change. How about this?
*** desktop.el 05 Apr 2005 15:08:34 -0400 1.82
--- desktop.el 18 Apr 2005 01:22:51 -0400
***************
*** 1031,1037 ****
'(lambda ()
(let ((key "--no-desktop"))
(if (member key command-line-args)
! (delete key command-line-args)
(when desktop-save-mode (desktop-read))))))
(provide 'desktop)
--- 1031,1039 ----
'(lambda ()
(let ((key "--no-desktop"))
(if (member key command-line-args)
! (progn
! (delete key command-line-args)
! (desktop-save-mode 0))
(when desktop-save-mode (desktop-read))))))
(provide 'desktop)