Re: When should we put @key inside @kbd?

[Eli Zaretskii]

> 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.