|Subject:||Re: info-lookup-symbol index case sensitivity|
|Date:||Sun, 08 Dec 2002 20:45:43 -0500|
A nice way to establish some leeway for case, in a case sensitive mode, might be to look first for a symbol in the case given, and if that fails then look again with a case-fold. That would be reasonable. Want to do it?
|[Prev in Thread]||Current Thread||[Next in Thread]|