[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: |
Eli Zaretskii |
Subject: |
bug#29972: 25.3; dired-hide-details-mode does not persist in desktop session |
Date: |
Fri, 05 Jan 2018 20:20:46 +0200 |
> 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?
- 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 <=
- 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, 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