[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.]

Ich bin ein Virus. Mach' mit und kopiere mich in Deine .signature.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]