[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#29972: 25.3; dired-hide-details-mode does not persist in desktop ses
From: |
Noam Postavsky |
Subject: |
bug#29972: 25.3; dired-hide-details-mode does not persist in desktop session |
Date: |
Fri, 5 Jan 2018 13:29:49 -0500 |
On Fri, Jan 5, 2018 at 1:20 PM, Eli Zaretskii <eliz@gnu.org> wrote:
>> From: Jimmy Yuen Ho Wong <wyuenho@gmail.com>
>> Date: Fri, 5 Jan 2018 17:42:49 +0000
>> Cc: 29972@debbugs.gnu.org
>>
>> The fundamental reason appears to be desktop.el needs an efficient and
>> reliable way to know what buffer
>> local variables are minor modes, since `minor-mode-list` is just a global
>> list of loaded minor-modes,
>> `minor-mode-alist` is as close as you get.
>
> So maybe desktop.el should have defcustom with the list of minor
> modes, whose default value is computed from minor-mode-alist, but
> which users could customize to add any additional minor modes?
Would it help if define-minor-mode recorded what the
variable/expression is (e.g., by putting a property on the function
symbol)?
This could also be useful for define-globalized-minor-mode (see
Bug#29081 - for which the current suggestion is to do without that,
but if such a thing has two uses, it will likely be helpful in even
more situations).
- bug#29972: 25.3; dired-hide-details-mode does not persist in desktop session, Yuen Ho Wong, 2018/01/03
- bug#29972: 25.3; dired-hide-details-mode does not persist in desktop session, Eli Zaretskii, 2018/01/04
- bug#29972: 25.3; dired-hide-details-mode does not persist in desktop session, Jimmy Yuen Ho Wong, 2018/01/05
- bug#29972: 25.3; dired-hide-details-mode does not persist in desktop session, Eli Zaretskii, 2018/01/05
- bug#29972: 25.3; dired-hide-details-mode does not persist in desktop session, Jimmy Yuen Ho Wong, 2018/01/05
- bug#29972: 25.3; dired-hide-details-mode does not persist in desktop session, Eli Zaretskii, 2018/01/05
- bug#29972: 25.3; dired-hide-details-mode does not persist in desktop session, Jimmy Yuen Ho Wong, 2018/01/05
- bug#29972: 25.3; dired-hide-details-mode does not persist in desktop session, Eli Zaretskii, 2018/01/05
- bug#29972: 25.3; dired-hide-details-mode does not persist in desktop session,
Noam Postavsky <=
- bug#29972: 25.3; dired-hide-details-mode does not persist in desktop session, Drew Adams, 2018/01/05
- bug#29972: 25.3; dired-hide-details-mode does not persist in desktop session, Eli Zaretskii, 2018/01/05
- bug#29972: 25.3; dired-hide-details-mode does not persist in desktop session, Noam Postavsky, 2018/01/05
- bug#29972: 25.3; dired-hide-details-mode does not persist in desktop session, Eli Zaretskii, 2018/01/05
- bug#29972: 25.3; dired-hide-details-mode does not persist in desktop session, Noam Postavsky, 2018/01/05
- bug#29972: 25.3; dired-hide-details-mode does not persist in desktop session, Jimmy Yuen Ho Wong, 2018/01/08
- bug#29972: 25.3; dired-hide-details-mode does not persist in desktop session, Eli Zaretskii, 2018/01/08
- bug#29972: 25.3; dired-hide-details-mode does not persist in desktop session, Drew Adams, 2018/01/08