[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Info enhancements

From: Eli Zaretskii
Subject: Re: Info enhancements
Date: Sun, 07 Dec 2003 07:47:23 +0200

> Date: Sat, 6 Dec 2003 19:59:41 -0500
> From: address@hidden (Karl Berry)
> My only other comment is that the spate of changes around
> Info-hide-note-references makes me question whether that is truly a
> desirable new feature or not.  It seems like it has potential to cause
> endless trouble for relatively little gain.  I hope at least that
> Info-hide-note-references=t will not be the default for its first release.

Given our experience from its introduction, I tend to agree.

reply via email to

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