[Top][All Lists]

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

Re: info-lookup-symbol index case sensitivity

From: Miles Bader
Subject: Re: info-lookup-symbol index case sensitivity
Date: Fri, 6 Dec 2002 20:13:14 -0500
User-agent: Mutt/1.3.28i

On Sat, Dec 07, 2002 at 10:36:23AM +1000, Kevin Ryde wrote:
> > It is a good thing for index search to ignore case.  That should make
> > it far easier to use, especially for beginners.  As for occasional
> > conflicts, that is less of an issue.
> But I would assert that if I ask for "C-h C-i FOO" then I should be
> shown the doco for "FOO" and not for "foo".

It seems reasonable to use the same heuristic that searching does -- if the
search term is all lowercase, then ignore case in the lookup, otherwise (if
there some capital letters in the search term) do a case-sensitive lookup.

Come now, if we were really planning to harm you, would we be waiting here, 
 beside the path, in the very darkest part of the forest?

reply via email to

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