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 |
|
return '<li><a href="thes/'+arr[1]+'.html">'+arr[0]+'</a>'+ |
17 |
|
' <a href="browse.html?o='+arr[1]+'">¤</a>' + |
18 |
|
'</li>'; |
19 |
|
} |
20 |
|
|
21 |
|
// this function is called when updating innerHTML with results |
22 |
|
document.myfilter.display = function (html) { |
23 |
|
return '<ul>'+html+'</ul>'; |
24 |
|
} |
25 |
} |
} |
26 |
|
|
27 |
</script> |
</script> |
28 |
|
<script type="text/javascript" src="bfilter/hide.js"></script> |
29 |
<!-- |
<!-- |
30 |
<link rel="stylesheet" href="style.css" type="text/css"> |
<link rel="stylesheet" href="style.css" type="text/css"> |
31 |
--> |
--> |
34 |
|
|
35 |
<body onload="myfilter(); "> |
<body onload="myfilter(); "> |
36 |
|
|
37 |
<div style="width:20%; float: right; border: 1px solid red" id="debug"> |
<div style="float: right; width: 10em; text-align: center; margin: 0.5m"> |
38 |
|
<a href="#" onClick="toggle_display('debug');">debug</a> |
39 |
|
|
40 |
|
<div style="text-align: left; border: 1px dashed #c0c0c0; display: none;" id="debug"> |
41 |
|
</div> |
42 |
|
|
43 |
</div> |
</div> |
44 |
|
|
45 |
<span style="background: #e0e0e0;"> |
<span style="background: #e0e0e0;"> |