--- trunk2/out/thesaurus.html	2004/09/23 18:23:13	465
+++ trunk2/out/thesaurus.html	2004/09/26 19:53:09	480
@@ -3,34 +3,36 @@
 <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="bfilter/DescriptorHR.js"></script>
+<script type="text/javascript" src="js/popup.js"></script>
+<script type="text/javascript" src="js/load_js.js"></script>
+<script type="text/javascript" src="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);
+//	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","thes/"+arr[1]+".html");
-			//e.setAttribute("target","_blank");
-			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.setAttribute("href","browse.html?o="+arr[1]);
-			e.appendChild(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(document.createElement("br"));
+			r.appendChild(self.document.createElement("br"));
 
-			return null;
 		} else {
 			alert("can't find results div!");
 		}
@@ -39,10 +41,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 +75,13 @@
 
 <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);">
+	<select name="headlines_name" onChange="load_js(this.options[this.selectedIndex].value); self.document.myfilter.arr=headlines;">
+	<option value="DescriptorHR.js">Hrvatski</option>
+	<option value="DescriptorEN.js">Engleski</option>
+	<option value="DescriptorFR.js">Francuski</option>
+	<option value="DescriptorGE.js">Njemački</option>
+	</select>
+	<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>
