> From: Richard Stallman <[email protected]> > CC: [email protected], John Wiegley <[email protected]>, [email protected] > 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.
