11 |
// document.getElementById('textfilter').caretPos=1; |
// document.getElementById('textfilter').caretPos=1; |
12 |
// document.getElementById('textfilter').select(); |
// document.getElementById('textfilter').select(); |
13 |
document.myfilter = new BFilter(headlines); |
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> |
</script> |
52 |
<!-- |
<script type="text/javascript" src="bfilter/hide.js"></script> |
53 |
<link rel="stylesheet" href="style.css" type="text/css"> |
<link rel="stylesheet" href="style.css" type="text/css"> |
|
--> |
|
54 |
<title>Thesaurus</title> |
<title>Thesaurus</title> |
55 |
</head> |
</head> |
56 |
|
|
57 |
<body onload="myfilter(); "> |
<body onload="myfilter(); "> |
58 |
|
|
59 |
<div style="width:20%; float: right; border: 1px solid red" id="debug"> |
<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> |
</div> |
66 |
|
|
67 |
<span style="background: #e0e0e0;"> |
<span style="background: #e0e0e0;"> |