bug-texinfo
[Top][All Lists]
Advanced

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

Re: index problem


From: Eli Zaretskii
Subject: Re: index problem
Date: Mon, 24 Sep 2001 12:34:00 +0200 (IST)

On Mon, 24 Sep 2001, Werner LEMBERG wrote:

> > As for making the search for completion candidates case-sensitive,
> > I'm not sure that's a good idea.  There's no single standard for the
> > letter-case in index entries, so if we make the search
> > case-sensitive, a user could easily miss entries.
> 
> Hmm, I think if a user intentionally uses uppercase `A', he or she is
> really interested in entries starting with `A' only.  Maybe this can
> be configured somehow...

A user option, perhaps?

Karl, what do you think?



reply via email to

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