(ddd.info)Customizing Searching
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