--- trunk2/out/thesaurus.html 2004/09/12 20:36:33 432 +++ trunk2/out/thesaurus.html 2004/09/15 21:16:22 452 @@ -11,9 +11,21 @@ // document.getElementById('textfilter').caretPos=1; // document.getElementById('textfilter').select(); document.myfilter = new BFilter(headlines); + + document.myfilter.result = function (arr) { + return '