[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 16:25:58 +0200 |
> From: Jimmy Yuen Ho Wong <wyuenho@gmail.com>
> Date: Fri, 5 Jan 2018 13:08:35 +0000
> Cc: 29972@debbugs.gnu.org
>
> I don't believe so. I've looked at a number of approaches.
>
> 1. `desktop-minor-mode-handlers` on desktop-read
> Not going to be consulted unless `dired-hide-details-mode` is saved as a
> buffer minor mode.
> 2. `desktop-minor-mode-table` on desktop-save
> If `dired-hide-details-mode` is not in `minor-mode-alist`,
> `desktop-minor-mode-table` will not even be
> consulted.
> 3. `desktop-locals-to-save`
> This does save the minor mode local variable to the desktop file, but
> desktop won't be able to restore the
> minor mode because minor modes are activated before buffer local variables
> are restored, not after.
>
> So the only choices left to me are:
> - :lighter ""
> - (add-minor-mode 'dired-hide-details-mode "")
>
> Either way adds an empty string as a lighter, and the second option makes you
> ask why you are declaring
> *and* adding a minor mode, so I picked the first option. It's more concise.
Then maybe we need a new, more thorough customization facility for
desktop.el, or a change in the facilities you tried to make them
handle this case as well. It doesn't sound right to me to make tricky
changes in a minor mode just so it could be restored by desktop.el.
- 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 <=
- 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, 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