Changeset 380

Show
Ignore:
Timestamp:
01/20/06 03:29:01 (3 years ago)
Author:
athomas
Message:

PyDocPlugin:

  • Make documentation searches case insensitive like all the other searches.
Files:

Legend:

Unmodified
Added
Removed
Modified
Copied
Moved

  • pydocplugin/0.9/tracpydoc/tracpydoc.py

    r377 r380  
    373373 
    374374    def get_search_results(self, req, query, filters): 
    375         query = query.split() 
     375        query = [q.lower() for q in query.split()] 
    376376        results = [] 
    377377        matched = PyDoc(self.env).filter_match 
    …… 
    381381                    if (path and not matched(path)) and (modname and not matched(modname)): 
    382382                        return 
    383                     if q in modname or q.lower() in desc.lower(): 
     383                    if q in modname.lower() or q in desc.lower(): 
    384384                        results.append((self.env.href.pydoc(modname), modname, 
    385385                                        int(time.time()), 'pydoc', desc or ''))