I'm leaning towards agreeing, but I'd like to see
if anyone has an argument for the other choice.
FWIW, I lean towards agreeing too, and have no new arguments. -k
[[[ 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 don't believe that @key is always for keyboard input. It is "the
> convention
[[[ 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 think non-slanted is better, because it distinguishes between text
> that a u
Richard Stallman writes:
Hi Richard,
> I have brought in the Texinfo maintainer, and Karl Berry, a TeX wizard
> who knows Texinfo well too, I hope they can help us decide what is
> right to do here.
>
> The question that presented itself was, when we want to talk about one
> keyboard key, should
> From: Richard Stallman
> CC: e...@gnu.org, John Wiegley , r...@gnu.org
> 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 a
[[[ 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 have brought in the Texinfo maintainer, and Karl Berry, a TeX wizard
who knows Texi
