[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#56691: outline-minor-mode displays navigation arrow buttons as emoji
From: |
Robert Pluim |
Subject: |
bug#56691: outline-minor-mode displays navigation arrow buttons as emojis |
Date: |
Fri, 29 Jul 2022 15:48:59 +0200 |
>>>>> On Fri, 29 Jul 2022 15:38:39 +0200, Lars Ingebrigtsen <larsi@gnus.org>
>>>>> said:
Lars> Eli Zaretskii <eliz@gnu.org> writes:
>> But the option's value is not a simple scalar, it is a list of
>> preferences, and they are supposed to be used in the order listed when
>> possible. How do you reconcile that with "I know what I'm doing"?
Lars> If there is only one element in `icon-preference', we could make
Lars> icon-string use that no matter whether we thing Emacs supports it or
Lars> not -- that'd let the user override the machinery completely, which
Lars> might be handy.
Lars> Or have elements like (emoji . force) to force it.
Or have it be like face specifications in defface, which can check
terminal properties.
Robert
--
- bug#56691: outline-minor-mode displays navigation arrow buttons as emojis, (continued)
- 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
- bug#56691: outline-minor-mode displays navigation arrow buttons as emojis,
Robert Pluim <=
- 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, Lars Ingebrigtsen, 2022/07/30
- bug#56691: outline-minor-mode displays navigation arrow buttons as emojis, Eli Zaretskii, 2022/07/30
- bug#56691: outline-minor-mode displays navigation arrow buttons as emojis, Po Lu, 2022/07/30
- bug#56691: outline-minor-mode displays navigation arrow buttons as emojis, Lars Ingebrigtsen, 2022/07/30
- bug#56691: outline-minor-mode displays navigation arrow buttons as emojis, Po Lu, 2022/07/30
- bug#56691: outline-minor-mode displays navigation arrow buttons as emojis, Robert Pluim, 2022/07/31
- bug#56691: outline-minor-mode displays navigation arrow buttons as emojis, Po Lu, 2022/07/31
- bug#56691: outline-minor-mode displays navigation arrow buttons as emojis, Visuwesh, 2022/07/23