--- trunk2/out/thesaurus.html	2004/09/12 20:36:33	432
+++ trunk2/out/thesaurus.html	2004/09/15 16:53:51	448
@@ -11,6 +11,17 @@
 //	document.getElementById('textfilter').caretPos=1;
 //	document.getElementById('textfilter').select();
 	document.myfilter = new BFilter(headlines);
+
+	document.myfilter.result = function (arr) {
+		return '<li><a href="thes/'+arr[1]+'.html">'+arr[0]+'</a>'+
+		'&nbsp;<a href="browse.html?o='+arr[1]+'">&#8258;</a>' +
+		'</li>';
+	}
+
+	// this function is called when updating innerHTML with results
+	document.myfilter.display = function (html) {
+		return '<ul>'+html+'</ul>';
+	}
 }
 
 </script>