--- trunk2/out/thesaurus.html 2004/09/12 20:36:33 432
+++ trunk2/out/thesaurus.html 2004/09/20 19:14:15 456
@@ -11,18 +11,33 @@
// document.getElementById('textfilter').caretPos=1;
// document.getElementById('textfilter').select();
document.myfilter = new BFilter(headlines);
+
+ document.myfilter.result = function (arr) {
+ return ''+arr[0]+''+
+ ' ¤' +
+ '';
+ }
+
+ // this function is called when updating innerHTML with results
+ document.myfilter.display = function (html) {
+ return '';
+ }
}
-
Thesaurus
-