[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 11:51:44 +0300 |
> From: Lars Ingebrigtsen <larsi@gnus.org>
> Cc: hello@paulwrankin.com, 56691@debbugs.gnu.org
> Date: Sat, 23 Jul 2022 09:41:07 +0200
>
> Eli Zaretskii <eliz@gnu.org> writes:
>
> > 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?
>
> Sorry, I missed that. I think that sounds like a good idea. Perhaps we
> could use that new buffer mode predicate machinery, and default to
> buttons on in all buffers that inherit from special-mode? That'd allow
> people fine grained control if they want.
Sounds good. This would also allow users to control what happens in
each of these cases, right?
- bug#56691: outline-minor-mode displays navigation arrow buttons as emojis, (continued)
- 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, 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/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
- 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