1 |
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> |
2 |
<html> |
3 |
<head> |
4 |
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-2"/> |
5 |
<script type="text/javascript" src="bfilter/bfilter.js"></script> |
6 |
<script type="text/javascript" src="bfilter/DescriptorHR.js"></script> |
7 |
<script type="text/javascript"> |
8 |
|
9 |
function myfilter() { |
10 |
// document.getElementById('textfilter').focus(); |
11 |
// document.getElementById('textfilter').caretPos=1; |
12 |
// document.getElementById('textfilter').select(); |
13 |
document.myfilter = new BFilter(headlines); |
14 |
|
15 |
document.myfilter.result = function (arr) { |
16 |
var r = element_id('results'); |
17 |
if (r) { |
18 |
var e = document.createElement("a"); |
19 |
e.setAttribute("href","browse.html?o="+arr[1]); |
20 |
e.appendChild(document.createTextNode(arr[0])); |
21 |
r.appendChild(e); |
22 |
|
23 |
r.appendChild(document.createTextNode(" ")); |
24 |
|
25 |
e = document.createElement("a"); |
26 |
e.setAttribute("href","thes/"+arr[1]+".html"); |
27 |
//e.setAttribute("target","_blank"); |
28 |
e.appendChild(document.createTextNode(">>")); |
29 |
r.appendChild(e); |
30 |
|
31 |
r.appendChild(document.createElement("br")); |
32 |
|
33 |
return null; |
34 |
} else { |
35 |
alert("can't find results div!"); |
36 |
} |
37 |
/* |
38 |
return '<li><a href="thes/'+arr[1]+'.html">'+arr[0]+'</a>'+ |
39 |
' <a href="browse.html?o='+arr[1]+'">¤</a>' + |
40 |
'</li>'; |
41 |
*/ |
42 |
} |
43 |
|
44 |
// this function is called when updating innerHTML with results |
45 |
document.myfilter.display = function (html) { |
46 |
return null; |
47 |
// return '<ul>'+html+'</ul>'; |
48 |
} |
49 |
} |
50 |
|
51 |
</script> |
52 |
<script type="text/javascript" src="bfilter/hide.js"></script> |
53 |
<link rel="stylesheet" href="style.css" type="text/css"> |
54 |
<title>Thesaurus</title> |
55 |
</head> |
56 |
|
57 |
<body onload="myfilter(); "> |
58 |
|
59 |
<div style="float: right; width: 10em; text-align: center; margin: 0.5m"> |
60 |
<a href="#" onClick="toggle_display('debug');">debug</a> |
61 |
|
62 |
<div style="text-align: left; border: 1px dashed #c0c0c0; display: none;" id="debug"> |
63 |
</div> |
64 |
|
65 |
</div> |
66 |
|
67 |
<span style="background: #e0e0e0;"> |
68 |
<a href="search.html">search</a> | |
69 |
<a href="thesaurus.html"><b>thesarus</b></a> | |
70 |
<a href="browse.html">browse</a> |
71 |
</span> |
72 |
|
73 |
<form method="get" onSubmit="return false;"> |
74 |
<div class="filters"> |
75 |
<input autocomplete="off" class="filters" id="textfilter" title="enter a regular expression to filter by" onKeyUp="document.myfilter.filter(document,this.value);"> |
76 |
<!-- this button is strictly for looks --> |
77 |
<input class="filters" value="filter" type="button"> |
78 |
</div> |
79 |
</form> |
80 |
|
81 |
<div id="status" style="font-size: 80%; color: gray;"> |
82 |
<!-- |
83 |
Enter few letters to filter by them |
84 |
--> |
85 |
</div> |
86 |
|
87 |
<div id="results"> |
88 |
</div> |
89 |
|
90 |
</body> |
91 |
|