Ding: Usage tips

Version 1.2
Start search: Give search words: Search options:
Another search behavior can be selected via the menu::
earch on mouse over:
Search on new text selection:
History function: How it works: Further information:
Comments and corrections are welcome! -+- Frank Richter, March 1999 - July 2002