[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: |
Thu, 31 Dec 2020 05:35:43 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
Mattias Engdegård <mattiase@acm.org> writes:
> Let me give you a hand then! The latest patch puts the change under
> control of a variable, defaulting to off. This should take care of
> your concerns for compatibility problems, as well as the possibility
> of confusion (which I think is minuscule).
The confusion problem is still present, though -- people will see
different ways of representing keystrokes (in examples on the web,
etc).
> The variable can be set permanently by users who prefer the new key
> binding style. It can also be bound temporarily for specific uses. It
> was a specific use I had in mind, but there is no reason to withhold
> an improvement from users in general.
What's the specific use case?
> Thanks for your careful reasoning. We can all agree that if we
> included pleasing everybody on Reddit in our design criteria, no
> progress would ever be made.
I wasn't worried about pleasing anybody -- I just want to avoid
unnecessary confusion.
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog: http://lars.ingebrigtsen.no