[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#56691: outline-minor-mode displays navigation arrow buttons as emoji
From: |
Eli Zaretskii |
Subject: |
bug#56691: outline-minor-mode displays navigation arrow buttons as emojis |
Date: |
Sat, 23 Jul 2022 10:07:20 +0300 |
> From: Lars Ingebrigtsen <larsi@gnus.org>
> Cc: "Paul W. Rankin" <hello@paulwrankin.com>, 56691@debbugs.gnu.org
> Date: Sat, 23 Jul 2022 08:35:22 +0200
>
> Eli Zaretskii <eliz@gnu.org> writes:
>
> > Which I think is a bad idea to do unconditionally. At the very least,
> > describe-bindings-outline's default value should NOT override
> > outline-minor-mode-use-buttons, and it should have a non-default
> > optional value to override it for users who want that.
>
> Usage of outline (and buttons) in these buffers is new in Emacs 29, so I
> think the way it's currently set up makes the most sense. That is, we
> certainly don't want outline-minor-mode-use-buttons to default to t, but
> we do want to have buttons in this case to be on by default.
Overriding a user option in this way is not something we do, or should
do. The user settings should be honored.
Why is it a problem not to override that option, when its default
value will cause the buttons to be shown in Help buffers? Put it
another way: why should we consider Help buffers under Outline Minor
mode be any different from any other buffer under that mode?
- bug#56691: outline-minor-mode displays navigation arrow buttons as emojis, Paul W. Rankin, 2022/07/22
- Message not available
- bug#56691: outline-minor-mode displays navigation arrow buttons as emojis, Eli Zaretskii, 2022/07/22
- bug#56691: outline-minor-mode displays navigation arrow buttons as emojis, Lars Ingebrigtsen, 2022/07/23
- bug#56691: outline-minor-mode displays navigation arrow buttons as emojis,
Eli Zaretskii <=
- bug#56691: outline-minor-mode displays navigation arrow buttons as emojis, Lars Ingebrigtsen, 2022/07/23
- bug#56691: outline-minor-mode displays navigation arrow buttons as emojis, Eli Zaretskii, 2022/07/23
- bug#56691: outline-minor-mode displays navigation arrow buttons as emojis, Lars Ingebrigtsen, 2022/07/23
- bug#56691: outline-minor-mode displays navigation arrow buttons as emojis, Eli Zaretskii, 2022/07/23
- bug#56691: outline-minor-mode displays navigation arrow buttons as emojis, Lars Ingebrigtsen, 2022/07/24
- bug#56691: outline-minor-mode displays navigation arrow buttons as emojis, Lars Ingebrigtsen, 2022/07/28
- bug#56691: outline-minor-mode displays navigation arrow buttons as emojis, Eli Zaretskii, 2022/07/28
- bug#56691: outline-minor-mode displays navigation arrow buttons as emojis, Lars Ingebrigtsen, 2022/07/29
- bug#56691: outline-minor-mode displays navigation arrow buttons as emojis, Eli Zaretskii, 2022/07/29
- bug#56691: outline-minor-mode displays navigation arrow buttons as emojis, Robert Pluim, 2022/07/29