[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#66697: 30.0.50; [PATCH] desktop-save-mode with expiring remote buffe
|
From: |
Manuel Giraud |
|
Subject: |
bug#66697: 30.0.50; [PATCH] desktop-save-mode with expiring remote buffers |
|
Date: |
Sat, 09 Dec 2023 13:05:24 +0100 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Eli Zaretskii <eliz@gnu.org> writes:
[...]
> Thanks, but I wonder whether a better way would be to modify
> dired-desktop-save-p such that it handled correctly non-string values
> of desktop-files-not-to-save? That would make the handling of this
> variable more local, which is better for maintenance, I think.
>
> WDYT?
Sure. Good idea. Here is a new version.
--
Manuel Giraud
0001-Fix-desktop-save-for-dired-buffers-bug-66697.patch
Description: Text Data