3 |
<head> |
<head> |
4 |
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-2"/> |
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-2"/> |
5 |
<script type="text/javascript" src="bfilter/bfilter.js"></script> |
<script type="text/javascript" src="bfilter/bfilter.js"></script> |
6 |
|
<script type="text/javascript" src="js/popup.js"></script> |
7 |
<script type="text/javascript" src="bfilter/DescriptorHR.js"></script> |
<script type="text/javascript" src="bfilter/DescriptorHR.js"></script> |
8 |
<script type="text/javascript"> |
<script type="text/javascript"> |
9 |
|
|
10 |
function myfilter() { |
function myfilter() { |
11 |
// document.getElementById('textfilter').focus(); |
// self.document.getElementById('textfilter').focus(); |
12 |
// document.getElementById('textfilter').caretPos=1; |
// self.document.getElementById('textfilter').caretPos=1; |
13 |
// document.getElementById('textfilter').select(); |
// self.document.getElementById('textfilter').select(); |
14 |
document.myfilter = new BFilter(headlines); |
self.document.myfilter = new BFilter(headlines); |
15 |
|
|
16 |
document.myfilter.result = function (arr) { |
self.document.myfilter.result = function (arr) { |
17 |
|
var r = element_id('results'); |
18 |
|
if (r) { |
19 |
|
var e = self.document.createElement("a"); |
20 |
|
e.setAttribute("href","browse.html?o="+arr[1]+"#mfn"+arr[1]); |
21 |
|
e.appendChild(self.document.createTextNode(arr[0])); |
22 |
|
r.appendChild(e); |
23 |
|
|
24 |
|
r.appendChild(self.document.createTextNode(" ")); |
25 |
|
|
26 |
|
e = self.document.createElement("a"); |
27 |
|
e.setAttribute("href","thes/"+arr[1]+".html"); |
28 |
|
e.setAttribute("target","popup"); |
29 |
|
e.onclick = function() { return popup(e) }; |
30 |
|
e.appendChild(self.document.createTextNode("\u00bb")); |
31 |
|
r.appendChild(e); |
32 |
|
|
33 |
|
r.appendChild(self.document.createElement("br")); |
34 |
|
|
35 |
|
} else { |
36 |
|
alert("can't find results div!"); |
37 |
|
} |
38 |
|
/* |
39 |
return '<li><a href="thes/'+arr[1]+'.html">'+arr[0]+'</a>'+ |
return '<li><a href="thes/'+arr[1]+'.html">'+arr[0]+'</a>'+ |
40 |
' <a href="browse.html?o='+arr[1]+'">¤</a>' + |
' <a href="browse.html?o='+arr[1]+'">¤</a>' + |
41 |
'</li>'; |
'</li>'; |
42 |
|
*/ |
43 |
|
return null; |
44 |
} |
} |
45 |
|
|
46 |
// this function is called when updating innerHTML with results |
// this function is called when updating innerHTML with results |
47 |
document.myfilter.display = function (html) { |
self.document.myfilter.display = function (html) { |
48 |
return '<ul>'+html+'</ul>'; |
return null; |
49 |
|
// return '<ul>'+html+'</ul>'; |
50 |
} |
} |
51 |
} |
} |
52 |
|
|
53 |
</script> |
</script> |
54 |
<script type="text/javascript" src="bfilter/hide.js"></script> |
<script type="text/javascript" src="bfilter/hide.js"></script> |
|
<!-- |
|
55 |
<link rel="stylesheet" href="style.css" type="text/css"> |
<link rel="stylesheet" href="style.css" type="text/css"> |
|
--> |
|
56 |
<title>Thesaurus</title> |
<title>Thesaurus</title> |
57 |
</head> |
</head> |
58 |
|
|
74 |
|
|
75 |
<form method="get" onSubmit="return false;"> |
<form method="get" onSubmit="return false;"> |
76 |
<div class="filters"> |
<div class="filters"> |
77 |
<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);"> |
78 |
<!-- this button is strictly for looks --> |
<!-- this button is strictly for looks --> |
79 |
<input class="filters" value="filter" type="button"> |
<input class="filters" value="filter" type="button"> |
80 |
</div> |
</div> |