[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: |
Mon, 23 Oct 2023 16:55:58 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Eli Zaretskii <eliz@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.
Ok, I'll investigate here then.
> Alternatively, we could refrain calling desktop-buffer-info on buffers
> for which desktop-save-buffer-p returns nil.
That was kind of what my patch does… but it creates new issues because
'desktop-save-buffer-p' handles many test cases against file-name,
buffer-name and mode. And file-name, buffer-name and mode are all
retrieved into 'desktop-buffer-info'.
--
Manuel Giraud
- bug#66697: 30.0.50; [PATCH] desktop-save-mode with expiring remote buffers, Manuel Giraud, 2023/10/23
- bug#66697: 30.0.50; [PATCH] desktop-save-mode with expiring remote buffers, Eli Zaretskii, 2023/10/23
- bug#66697: 30.0.50; [PATCH] desktop-save-mode with expiring remote buffers, Manuel Giraud, 2023/10/23
- bug#66697: 30.0.50; [PATCH] desktop-save-mode with expiring remote buffers, Eli Zaretskii, 2023/10/23
- bug#66697: 30.0.50; [PATCH] desktop-save-mode with expiring remote buffers, Manuel Giraud, 2023/10/23
- bug#66697: 30.0.50; [PATCH] desktop-save-mode with expiring remote buffers, Michael Albinus, 2023/10/23
- bug#66697: 30.0.50; [PATCH] desktop-save-mode with expiring remote buffers, Manuel Giraud, 2023/10/23
- bug#66697: 30.0.50; [PATCH] desktop-save-mode with expiring remote buffers, Michael Albinus, 2023/10/23
- bug#66697: 30.0.50; [PATCH] desktop-save-mode with expiring remote buffers, Michael Albinus, 2023/10/23
- bug#66697: 30.0.50; [PATCH] desktop-save-mode with expiring remote buffers, Eli Zaretskii, 2023/10/23
- bug#66697: 30.0.50; [PATCH] desktop-save-mode with expiring remote buffers,
Manuel Giraud <=
- bug#66697: 30.0.50; [PATCH] desktop-save-mode with expiring remote buffers, Manuel Giraud, 2023/10/23
- bug#66697: 30.0.50; [PATCH] desktop-save-mode with expiring remote buffers, Manuel Giraud, 2023/10/24
- bug#66697: 30.0.50; [PATCH] desktop-save-mode with expiring remote buffers, Eli Zaretskii, 2023/10/24
- bug#66697: 30.0.50; [PATCH] desktop-save-mode with expiring remote buffers, Manuel Giraud, 2023/10/24
- bug#66697: 30.0.50; [PATCH] desktop-save-mode with expiring remote buffers, Manuel Giraud, 2023/10/24
- bug#66697: 30.0.50; [PATCH] desktop-save-mode with expiring remote buffers, Manuel Giraud, 2023/10/31
- bug#66697: 30.0.50; [PATCH] desktop-save-mode with expiring remote buffers, Eli Zaretskii, 2023/10/31