[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: When should we put @key inside @kbd?
From: |
Richard Stallman |
Subject: |
Re: When should we put @key inside @kbd? |
Date: |
Tue, 06 Mar 2018 15:53:09 -0500 |
[[[ To any NSA and FBI agents reading my email: please consider ]]]
[[[ whether defending the US Constitution against all enemies, ]]]
[[[ foreign or domestic, requires you to follow Snowden's example. ]]]
> I agree, that the @key{} command in the texinfo manual has been defined
> as "conventional name for a key on a keyboard". But in practice, for
> example in the Emacs manual, @key{} is also used for characters which
> are entered by the corresponding key.
I don't understand the subtle distinction you're making.
> I gave the example from the Emacs manual:
> "@code{esc-map} is for characters that follow @key{ESC}."
> Obviously, @key{ESC} here is not a key to be typed,
I think it is a key to be typed. Why do you say it isn't one?
but the escape
> character
It is both, isn't it? It is a key to be typed, and we
call it the escape character.
--
Dr Richard Stallman
President, Free Software Foundation (https://gnu.org, https://fsf.org)
Internet Hall-of-Famer (https://internethalloffame.org)
Skype: No way! See https://stallman.org/skype.html.
- Re: When should we put @key inside @kbd?, (continued)
- Re: When should we put @key inside @kbd?, Michael Albinus, 2018/03/05
- Re: When should we put @key inside @kbd?, Richard Stallman, 2018/03/05
- Re: When should we put @key inside @kbd?, Michael Albinus, 2018/03/06
- Re: When should we put @key inside @kbd?, Eli Zaretskii, 2018/03/06
- Re: When should we put @key inside @kbd?, Michael Albinus, 2018/03/06
- Re: When should we put @key inside @kbd?, Richard Stallman, 2018/03/06
- Re: When should we put @key inside @kbd?, Michael Albinus, 2018/03/07
- Re: When should we put @key inside @kbd?, Eli Zaretskii, 2018/03/07
- Re: When should we put @key inside @kbd?, Richard Stallman, 2018/03/07
- Re: When should we put @key inside @kbd?,
Richard Stallman <=
- Re: When should we put @key inside @kbd?, Michael Albinus, 2018/03/07
- Re: When should we put @key inside @kbd?, Eli Zaretskii, 2018/03/07