[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#56407: 29.0.50; desktop.el shouldn't be saving/restoring eglot--mana
From: |
Lars Ingebrigtsen |
Subject: |
bug#56407: 29.0.50; desktop.el shouldn't be saving/restoring eglot--managed-mode, which is not for interactive use |
Date: |
Tue, 05 Jul 2022 21:41:10 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux) |
João Távora <joaotavora@gmail.com> writes:
> This probably works (though I haven't tested), but maybe we could come
> up with some other way around this, like having eglot.el propertize its
> 'eglot--managed-mode' symbol so that desktop.el doesn't even write it
> onto the user's save file. Or something like that.
Yes, I think it'd be better to add a mechanism like
(put 'eglot--managed-mode 'desktop-inhibit t)
or the like, and get rid of
(defcustom desktop-minor-mode-table
'((defining-kbd-macro nil)
(isearch-mode nil)
(vc-mode nil)
...
which is used for the same thing.
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog: http://lars.ingebrigtsen.no
- bug#56407: 29.0.50; desktop.el shouldn't be saving/restoring eglot--managed-mode, which is not for interactive use, (continued)
- bug#56407: 29.0.50; desktop.el shouldn't be saving/restoring eglot--managed-mode, which is not for interactive use, Eli Zaretskii, 2022/07/05
- bug#56407: 29.0.50; desktop.el shouldn't be saving/restoring eglot--managed-mode, which is not for interactive use, João Távora, 2022/07/05
- bug#56407: 29.0.50; desktop.el shouldn't be saving/restoring eglot--managed-mode, which is not for interactive use, Eli Zaretskii, 2022/07/05
- bug#56407: 29.0.50; desktop.el shouldn't be saving/restoring eglot--managed-mode, which is not for interactive use, João Távora, 2022/07/06
- bug#56407: 29.0.50; desktop.el shouldn't be saving/restoring eglot--managed-mode, which is not for interactive use, Eli Zaretskii, 2022/07/06
- bug#56407: 29.0.50; desktop.el shouldn't be saving/restoring eglot--managed-mode, which is not for interactive use, João Távora, 2022/07/06
- bug#56407: 29.0.50; desktop.el shouldn't be saving/restoring eglot--managed-mode, which is not for interactive use, Lars Ingebrigtsen, 2022/07/06
bug#56407: 29.0.50; desktop.el shouldn't be saving/restoring eglot--managed-mode, which is not for interactive use, João Távora, 2022/07/05
bug#56407: 29.0.50; desktop.el shouldn't be saving/restoring eglot--managed-mode, which is not for interactive use,
Lars Ingebrigtsen <=