GNU bug report logs - #66697
30.0.50; [PATCH] desktop-save-mode with expiring remote buffers

Previous Next

Full log

Message #56 received at 66697 <at> debbugs.gnu.org (full text, mbox):

From: Eli Zaretskii <eliz <at> gnu.org>
To: Manuel Giraud <manuel <at> ledu-giraud.fr>
Cc: 66697 <at> debbugs.gnu.org
Subject: Re: bug#66697: 30.0.50; [PATCH] desktop-save-mode with expiring
 remote buffers
Date: Tue, 24 Oct 2023 14:56:37 +0300

> From: Manuel Giraud <manuel <at> ledu-giraud.fr>
> Cc: 66697 <at> debbugs.gnu.org
> Date: Tue, 24 Oct 2023 11:21:21 +0200
> 
> Eli Zaretskii <eliz <at> gnu.org> writes:
> 
> 
> [...]
> 
> > Doesn't this tell that the problem is in dired.el, not in desktop.el?
> > The problematic call comes from dired-desktop-buffer-misc-data, not
> > from desktop.el.  So it's dired-desktop-buffer-misc-data that needs to
> > be fixed.
> 
> So I work a bit on 'dired-desktop-buffer-misc-data' and have the
> following solution:

Sounds right, but don't you get byte-compiler warnings about
desktop-files-not-to-save not being known?

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.