--- trunk2/out/thesaurus.html	2004/09/20 19:14:15	456
+++ trunk2/out/thesaurus.html	2004/09/24 20:31:11	470
@@ -3,24 +3,50 @@
 <head>
 <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-2"/>
 <script type="text/javascript" src="bfilter/bfilter.js"></script>
+<script type="text/javascript" src="js/popup.js"></script>
 <script type="text/javascript" src="bfilter/DescriptorHR.js"></script>
 <script type="text/javascript">
 
 function myfilter() {
-//	document.getElementById('textfilter').focus();
-//	document.getElementById('textfilter').caretPos=1;
-//	document.getElementById('textfilter').select();
-	document.myfilter = new BFilter(headlines);
-
-	document.myfilter.result = function (arr) {
+//	self.document.getElementById('textfilter').focus();
+//	self.document.getElementById('textfilter').caretPos=1;
+//	self.document.getElementById('textfilter').select();
+	self.document.myfilter = new BFilter(headlines);
+
+	self.document.myfilter.result = function (arr) {
+		var r = element_id('results');
+		if (r) {
+			var e = self.document.createElement("a");
+			e.setAttribute("href","browse.html?o="+arr[1]+"#mfn"+arr[1]);
+			e.appendChild(self.document.createTextNode(arr[0]));
+			r.appendChild(e);
+
+			r.appendChild(self.document.createTextNode(" "));
+
+			e = self.document.createElement("a");
+			e.setAttribute("href","thes/"+arr[1]+".html");
+			e.setAttribute("target","popup");
+			e.onclick = function() { return popup(e) };
+			e.appendChild(self.document.createTextNode("\u00bb"));
+			r.appendChild(e);
+
+			r.appendChild(self.document.createElement("br"));
+
+		} else {
+			alert("can't find results div!");
+		}
+/*
 		return '<li><a href="thes/'+arr[1]+'.html">'+arr[0]+'</a>'+
 		'&nbsp;<a href="browse.html?o='+arr[1]+'">&curren;</a>' +
 		'</li>';
+*/
+		return null;
 	}
 
 	// this function is called when updating innerHTML with results
-	document.myfilter.display = function (html) {
-		return '<ul>'+html+'</ul>';
+	self.document.myfilter.display = function (html) {
+		return null;
+//		return '<ul>'+html+'</ul>';
 	}
 }
 
@@ -48,7 +74,7 @@
 
 <form method="get" onSubmit="return false;">
 <div class="filters">
-	<input autocomplete="off" class="filters" id="textfilter" title="enter a regular expression to filter by" onKeyUp="document.myfilter.filter(document,this.value);">
+	<input autocomplete="off" class="filters" id="textfilter" title="enter a regular expression to filter by" onKeyUp="self.document.myfilter.filter(this.value);">
 	<!-- this button is strictly for looks -->
 	<input class="filters" value="filter" type="button">
 </div>
