[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:38:24 +0300 |
> From: Lars Ingebrigtsen <larsi@gnus.org>
> Cc: hello@paulwrankin.com, 56691@debbugs.gnu.org
> Date: Sat, 23 Jul 2022 09:28:31 +0200
>
> Eli Zaretskii <eliz@gnu.org> writes:
>
> > Why is it a problem not to override that option, when its default
> > value will cause the buttons to be shown in Help buffers?
>
> I don't follow -- the default value of outline-minor-mode-use-buttons is
> nil, so there'd be no buttons in the *Help* buffer.
Sorry, I was confused about the defaults.
> > Put it another way: why should we consider Help buffers under Outline
> > Minor mode be any different from any other buffer under that mode?
>
> Mainly because other modes that use the option are edit-oriented modes,
> so there the buttons are pretty annoying.
Then how about the other suggestion I made: to add one more value to
outline-minor-mode-use-buttons, which will allow to differentiate
between editing and non-editing major modes?
- 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, 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 <=
- 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
- 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, Lars Ingebrigtsen, 2022/07/29