[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Info enhancements
From: |
Miles Bader |
Subject: |
Re: Info enhancements |
Date: |
08 Dec 2003 19:29:01 +0900 |
Juri Linkov <address@hidden> writes:
> I still think that replacing a "note" with "see" has no sense because
> if the user prefers to set the Info-hide-note-references to t this
> means that he don't want to see any tags before the reference name.
`See' makes perfect sense -- it makes the reference into (usually)
correct english without drawing undue attention to itself, which is in
keeping with the style of the documentation, whereas the *Note crap is
just ugly obfuscation.
> Since references are fontified in a different color the user can
> already recognize a reference without an additional hint that
> encourages him to follow this reference.
[Doesn't work too well on non-color displays, and yes those exist.]
-Miles
--
Ich bin ein Virus. Mach' mit und kopiere mich in Deine .signature.
- Re: Info enhancements, (continued)
- Re: Info enhancements, Luc Teirlinck, 2003/12/09
- Re: Info enhancements, Juri Linkov, 2003/12/05
- Re: Info enhancements, Richard Stallman, 2003/12/07
- Re: Info enhancements, Juri Linkov, 2003/12/07
- Re: Info enhancements, Eli Zaretskii, 2003/12/08
- Re: Info enhancements, Juri Linkov, 2003/12/08
- Re: Info enhancements,
Miles Bader <=
- Re: Info enhancements, Juri Linkov, 2003/12/08
- Re: Info enhancements, Eli Zaretskii, 2003/12/08
- Re: Info enhancements, Juri Linkov, 2003/12/08
- Re: Info enhancements, Kim F. Storm, 2003/12/09
- Re: Info enhancements, Luc Teirlinck, 2003/12/08
- Re: Info enhancements, Eli Zaretskii, 2003/12/09
- Re: Info enhancements, Eli Zaretskii, 2003/12/08
Re: Info enhancements, Karl Berry, 2003/12/05