[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: angle-bracket notation for keys (was: Selection changes)
From: |
Eli Zaretskii |
Subject: |
Re: angle-bracket notation for keys (was: Selection changes) |
Date: |
Sun, 18 Jul 2010 20:21:54 +0300 |
> From: "Drew Adams" <address@hidden>
> Cc: <address@hidden>, <address@hidden>,
> <address@hidden>, <address@hidden>
> 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
> > address@hidden
>
> 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.
- Re: Selection changes, (continued)
Re: Selection changes, Angelo Graziosi, 2010/07/15
- Re: Selection changes, David De La Harpe Golden, 2010/07/16
- Re: Selection changes, Angelo Graziosi, 2010/07/17
- angle-bracket notation for keys (was: Selection changes), Drew Adams, 2010/07/17
- Re: angle-bracket notation for keys, Miles Bader, 2010/07/17
- Re: angle-bracket notation for keys (was: Selection changes), Eli Zaretskii, 2010/07/17
- RE: angle-bracket notation for keys (was: Selection changes), Drew Adams, 2010/07/18
- Re: angle-bracket notation for keys (was: Selection changes),
Eli Zaretskii <=
- RE: angle-bracket notation for keys (was: Selection changes), Drew Adams, 2010/07/18
- Re: angle-bracket notation for keys, Harald Hanche-Olsen, 2010/07/18
Re: angle-bracket notation for keys, Angelo Graziosi, 2010/07/18
Re: Selection changes, David De La Harpe Golden, 2010/07/18
Re: Selection changes, Angelo Graziosi, 2010/07/18
Re: Selection changes, Angelo Graziosi, 2010/07/16