The javascript search facility that is set up when you generate HTML pages appears to be case-sensitive. When I enter text in the "Quick Search" box, the results depend on the capitalization of my query. This doesn't seem desirable - the user may not know the exact capitalization.
Is there a way of making the "Quick Search" case -INsensitive? Thanks -- You received this message because you are subscribed to the Google Groups "sphinx-dev" group. To post to this group, send email to sphinx-dev@googlegroups.com. To unsubscribe from this group, send email to sphinx-dev+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sphinx-dev?hl=en.
