[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#45536: [PATCH] Pretty-print keys without <> around modifiers
From: |
Lars Ingebrigtsen |
Subject: |
bug#45536: [PATCH] Pretty-print keys without <> around modifiers |
Date: |
Fri, 01 Jan 2021 12:54:40 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
Mattias Engdegård <mattiase@acm.org> writes:
> Thank you for double-checking! But there are more modifiers than Meta,
> and there is also @key{...} which expands to <...>.
Oh, right. Well, if the manual displays these keys as M-<foo> etc, then
I withdraw all my objections based on possible confusion -- this change
would make things less confusing. So I'm leaning towards applying the
change and then see whether this breaks anything for anybody.
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog: http://lars.ingebrigtsen.no
bug#45536: [PATCH] Pretty-print keys without <> around modifiers, Eli Zaretskii, 2021/01/01