[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Info enhancements
|
From: |
Karl Berry |
|
Subject: |
Re: Info enhancements |
|
Date: |
Wed, 3 Dec 2003 14:42:10 -0500 |
As far as I can see, a better format would have the line number before
the description rather than after it, with the description indented 6
But then it would not follow the standard format for menus, i.e.,
<term>:<node name>.
- Re: Info enhancements, (continued)
- Re: Info enhancements, Eli Zaretskii, 2003/12/15
- Re: Info enhancements, Richard Stallman, 2003/12/15
- Re: Info enhancements, Juri Linkov, 2003/12/15
- Re: Info enhancements, Kim F. Storm, 2003/12/16
- Re: Info enhancements, Richard Stallman, 2003/12/16
- Re: Info enhancements, Richard Stallman, 2003/12/16
Re: Info enhancements, Karl Berry, 2003/12/03
Re: Info enhancements,
Karl Berry <=
Re: Info enhancements, Karl Berry, 2003/12/04