7 |
<script type="text/javascript"> |
<script type="text/javascript"> |
8 |
|
|
9 |
function myfilter() { |
function myfilter() { |
10 |
// document.getElementById('textfilter').focus(); |
self.document.myfilter = new BFilter(headlines); |
|
// document.getElementById('textfilter').caretPos=1; |
|
|
// document.getElementById('textfilter').select(); |
|
|
document.myfilter = new BFilter(headlines); |
|
11 |
} |
} |
12 |
|
|
13 |
</script> |
</script> |
24 |
|
|
25 |
<form method="get" onSubmit="return false;"> |
<form method="get" onSubmit="return false;"> |
26 |
<div class="filters"> |
<div class="filters"> |
27 |
<input autocomplete="off" class="filters" id="textfilter" title="enter a regular expression to filter by" onKeyUp="document.myfilter.filter(document,this.value);"> |
<input autocomplete="off" class="filters" id="textfilter" title="enter a regular expression to filter by" onKeyUp="self.document.myfilter.filter(this.value);"> |
28 |
<!-- this button is strictly for looks --> |
<!-- this button is strictly for looks --> |
29 |
<input class="filters" value="filter" type="button"> |
<input class="filters" value="filter" type="button"> |
30 |
</div> |
</div> |