[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: When should we put @key inside @kbd?
From: |
Eli Zaretskii |
Subject: |
Re: When should we put @key inside @kbd? |
Date: |
Mon, 05 Mar 2018 18:21:38 +0200 |
> From: Richard Stallman <address@hidden>
> CC: address@hidden, John Wiegley <address@hidden>, address@hidden
> Date: Mon, 05 Mar 2018 08:08:51 -0500
>
> Under what circumstances do we want the @key name to be slanted,
> and under what circumstances do we want it not to be slanted?
I think @key should never be slanted, because it always refers to the
label on a key.
> Maybe we should change the definition of @key so that
> it uses the same font regardless of whether it is inside @kbd.
>
> If we do that, we have two choices of how to do it: always use the
> slanted font, or always use the normal typewriter font. Which is better?
I think non-slanted is better, because it distinguishes between text
that a user types from text that the user doesn't type, but is instead
the label of a key.
- When should we put @key inside @kbd?, Richard Stallman, 2018/03/05
- Re: When should we put @key inside @kbd?,
Eli Zaretskii <=
- Re: When should we put @key inside @kbd?, Richard Stallman, 2018/03/05
- Re: When should we put @key inside @kbd?, Karl Berry, 2018/03/05
- 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?, Richard Stallman, 2018/03/07
- Re: When should we put @key inside @kbd?, Michael Albinus, 2018/03/08
- Re: When should we put @key inside @kbd?, Richard Stallman, 2018/03/08
- Re: When should we put @key inside @kbd?, Michael Albinus, 2018/03/10
- Re: When should we put @key inside @kbd?, Eli Zaretskii, 2018/03/10