Re: angle-bracket notation for keys (was: Selection changes)

[Eli Zaretskii <eliz@gnu.org>]

> From: "Drew Adams" <drew.adams@oracle.com>
> Cc: <angelo.graziosi@alice.it>, <david@harpegolden.net>,
>         <cyd@stupidchicken.com>, <emacs-devel@gnu.org>
> Date: Sat, 17 Jul 2010 22:42:26 -0700
> 
> > > > '<...-insertchar>' is very ugly and... unattractive!
> > 
> > <FOO> is what makeinfo produces from @key{FOO}.  The purpose of @key
> > is to distinguish between a single keypress and typing the keys F, O,
> > and O in that order.  In the printed manual, @key produces a picture
> > of a key with a label.
> > 
> > If you want to suggest a change in what @key produces in the on-line
> > Info manual, this isn't the right forum.  You need to write to
> > bug-texinfo@gnu.org.
> 
> I believe this was all discussed in those old threads, and I really do not wish
> to reopen the discussion

<Shrug> who can remember all those discussions?

> To be clear, however, I'm not really concerned about what appears in the printed
> manual.  My concern (really, my _only_ concern wrt this question) is the UI and
> online doc (Info).  I made that clear before, as well.

Consistency with the manual is important, IMO.