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> |