(ddd.info)Customizing Searching


Next: Customizing Source Appearance Prev: Customizing Glyphs Up: Customizing Source
Enter node , (file) or (file)node

4.4.2 Customizing Searching
---------------------------

Searching in the source text (Note: Textual Search) is controlled by
these resources, changed via the `Source' menu:

 -- Resource: findCaseSensitive (class FindCaseSensitive)
     If this is `on' (default), the `Find' commands are case-sensitive.
     Otherwise, occurrences are found regardless of case.

 -- Resource: findWordsOnly (class FindWordsOnly)
     If this is `on' (default), the `Find' commands find complete words
     only.  Otherwise, arbitrary occurrences are found.


automatically generated by info2www version 1.2.2.9