Ding: Usage tips

Version 1.4 or higher
Start search: Give search words: Search options:
Another search behavior can be selected via the menu, or by clicking on "search word":
Search on mouse over:
Search on new text selection:
History function: How it works: Further information:
Comments and corrections are welcome! -+- Frank Richter, May 2005