|Version 2 (modified by athomas, 9 years ago) (diff)|
Plugin for searching the source repository
This plugin allows users to search the source repository.
If you have any issues, create a new ticket.
Download the zipped source from here.
Use as with any other search.
-  by rjollos on 2010-12-12 07:43:46
Removing pydev project file that was accidentally checked-in.
-  by rjollos on 2010-12-12 07:39:18
Use \S in the regular expression that extracts words. \S will match any non-whitespace character, whereas \w only matches alphanumeric characters and the underscore. Refs #5938.
-  by rjollos on 2010-08-30 07:34:48
Fixed problem with indexing non-ascii characters. Fixes #2143.