[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: Sat, 13 Dec 2003 17:48:10 +0200

> From: Juri Linkov <address@hidden>
> Date: Fri, 12 Dec 2003 23:38:56 +0200
> However, if there is need to go to anchors by selecting their names
> from a completion list, then possible solution is either to implement
> an additional command with an anchor completion list or to add anchor
> names to a completion list of the `Info-index' command because
> in fact anchors are more like index items than node names.

I disagree with the latter suggestion.  Info-index should provide
completion for index entries; adding anchor names would not add any
useful possible completions, since anchor names are just tags, not
meaningful phrases.

reply via email to

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