[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: |
Fri, 22 Jul 2022 10:42:58 +0300 |
> Date: Fri, 22 Jul 2022 15:00:27 +1000
> From: "Paul W. Rankin" via "Bug reports for GNU Emacs,
> the Swiss army knife of text editors" <bug-gnu-emacs@gnu.org>
>
> User option outline-minor-mode-use-buttons appears to have no effect.
This is because describe-bindings overrides it:
(when describe-bindings-outline
(setq-local outline-regexp ".*:$")
(setq-local outline-heading-end-regexp ":\n")
(setq-local outline-level (lambda () 1))
(setq-local outline-minor-mode-cycle t
outline-minor-mode-highlight t)
(setq-local outline-minor-mode-use-buttons t) <<<<<<<<<<<<<<
(outline-minor-mode 1)
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.
- 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 <=
- 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, 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