[Top][All Lists]

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

Re: info-lookup-symbol index case sensitivity

From: Kevin Ryde
Subject: Re: info-lookup-symbol index case sensitivity
Date: Wed, 11 Dec 2002 09:19:16 +1000
User-agent: Gnus/5.090008 (Oort Gnus v0.08) Emacs/21.1 (i386-debian-linux-gnu)

Richard Stallman <address@hidden> writes:
> That would be reasonable.  Want to do it?

Yes I might have a go at that.

It might be possible to cooperate with Info-index-next to show
alternatives to the best match.  The same perhaps for duplicate
matches, like when say "echo" is in the bash manual and the coreutils
manual.  But that'd probably need a change to the way the info-look
caching is done (if I'm not mistaken duplicates are suppressed).

reply via email to

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