66 |
document.myfilter = new BFilter(headlines); |
document.myfilter = new BFilter(headlines); |
67 |
|
|
68 |
document.myfilter.result = function (arr) { |
document.myfilter.result = function (arr) { |
69 |
return '<option value="'+arr[1]+'">'+ |
this.results_html += '<option value="'+arr[1]+'">'+ |
70 |
arr[0] + |
arr[0] + |
71 |
'</option>'; |
'</option>'; |
72 |
|
return true; |
73 |
} |
} |
74 |
|
|
75 |
// this function is called when updating innerHTML with results |
// this function is called when updating innerHTML with results |
76 |
document.myfilter.display = function (html) { |
document.myfilter.display = function () { |
77 |
return '<select id="sel" size="5" onKeyDown="combo_onKeyDown(event);" onChange="document.getElementById(\'textfilter\').value = this.options[this.selectedIndex].text;">'+html+'</select>'; |
return '<select id="sel" size="5" onKeyDown="combo_onKeyDown(event);" onChange="document.getElementById(\'textfilter\').value = this.options[this.selectedIndex].text;">'+this.results_html+'</select>'; |
78 |
} |
} |
79 |
} |
} |
80 |
|
|