--- trunk2/out/thesaurus.html	2004/09/23 23:19:38	467
+++ trunk2/out/thesaurus.html	2004/09/24 18:04:48	469
@@ -7,30 +7,29 @@
 <script type="text/javascript">
 
 function myfilter() {
-//	document.getElementById('textfilter').focus();
-//	document.getElementById('textfilter').caretPos=1;
-//	document.getElementById('textfilter').select();
-	document.myfilter = new BFilter(headlines);
+//	self.document.getElementById('textfilter').focus();
+//	self.document.getElementById('textfilter').caretPos=1;
+//	self.document.getElementById('textfilter').select();
+	self.document.myfilter = new BFilter(headlines);
 
-	document.myfilter.result = function (arr) {
+	self.document.myfilter.result = function (arr) {
 		var r = element_id('results');
 		if (r) {
-			var e = document.createElement("a");
-			e.setAttribute("href","browse.html?o="+arr[1]);
-			e.appendChild(document.createTextNode(arr[0]));
+			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(document.createTextNode(" "));
+			r.appendChild(self.document.createTextNode(" "));
 
-			e = document.createElement("a");
+			e = self.document.createElement("a");
 			e.setAttribute("href","thes/"+arr[1]+".html");
 			//e.setAttribute("target","_blank");
-			e.appendChild(document.createTextNode(">>"));
+			e.appendChild(self.document.createTextNode(">>"));
 			r.appendChild(e);
 
-			r.appendChild(document.createElement("br"));
+			r.appendChild(self.document.createElement("br"));
 
-			return null;
 		} else {
 			alert("can't find results div!");
 		}
@@ -39,10 +38,11 @@
 		'&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) {
+	self.document.myfilter.display = function (html) {
 		return null;
 //		return '<ul>'+html+'</ul>';
 	}
@@ -72,7 +72,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>