Re: @key{Mouse-1}

[Stefan Monnier]

> and proceeds to give examples that only involve keyboard keys.  In a
> printed manual, @key{Foo} is typeset as a graphical image of a keyboard
> key, with the argument "Foo" as its label.  Do we want to see a
> keyboard key labeled "Mouse-1" in the printed manual?

It does look odd indeed.  But I'm not sure how it /should/ look like.

> Maybe we should add a @button command to Texinfo?

Fine by me, tho Emacs won't be able to use it right away, IIUC.


        Stefan