[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#45536: [PATCH] Pretty-print keys without <> around modifiers
|
From: |
Mattias Engdegård |
|
Subject: |
bug#45536: [PATCH] Pretty-print keys without <> around modifiers |
|
Date: |
Sat, 2 Jan 2021 18:20:52 +0100 |
1 jan. 2021 kl. 12.54 skrev Lars Ingebrigtsen <larsi@gnus.org>:
> 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.
Good, here is the elaborated patch, complete with NEWS entry, a few doc fixes,
and tests.
0001-Pretty-print-keys-without-around-modifiers-bug-45536.patch
Description: Binary data
bug#45536: [PATCH] Pretty-print keys without <> around modifiers, Eli Zaretskii, 2021/01/01
- bug#45536: [PATCH] Pretty-print keys without <> around modifiers, Mattias Engdegård, 2021/01/01
- bug#45536: [PATCH] Pretty-print keys without <> around modifiers, Eli Zaretskii, 2021/01/01
- bug#45536: [PATCH] Pretty-print keys without <> around modifiers, Mattias Engdegård, 2021/01/01
- bug#45536: [PATCH] Pretty-print keys without <> around modifiers, Eli Zaretskii, 2021/01/01
- bug#45536: [PATCH] Pretty-print keys without <> around modifiers, Mattias Engdegård, 2021/01/01
- bug#45536: [PATCH] Pretty-print keys without <> around modifiers, Eli Zaretskii, 2021/01/01