1 |
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> |
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> |
2 |
<html> |
<html> |
3 |
<head> |
<head> |
4 |
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-2"> |
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-2"/> |
5 |
<script type="text/javascript" src="bfilter.js"></script> |
<script type="text/javascript" src="bfilter.js"></script> |
6 |
<script type="text/javascript" src="DescriptorHR.js"></script> |
<script type="text/javascript" src="DescriptorHR.js"></script> |
7 |
|
<script type="text/javascript"> |
8 |
|
|
9 |
|
function myfilter() { |
10 |
|
// document.getElementById('textfilter').focus(); |
11 |
|
// document.getElementById('textfilter').caretPos=1; |
12 |
|
// document.getElementById('textfilter').select(); |
13 |
|
document.myfilter = new BFilter(headlines); |
14 |
|
} |
15 |
|
|
16 |
|
</script> |
17 |
<!-- |
<!-- |
18 |
<link rel="stylesheet" href="style.css" type="text/css"> |
<link rel="stylesheet" href="style.css" type="text/css"> |
19 |
--> |
--> |
20 |
<title>Filter entries</title> |
<title>Filter entries</title> |
21 |
</head> |
</head> |
22 |
|
|
23 |
<body onload="bfilter_init(); "> |
<body onload="myfilter(); "> |
24 |
|
|
25 |
|
<div style="width:20%; float: right; border: 1px solid red" id="debug"> |
26 |
|
</div> |
27 |
|
|
28 |
<form method="get" onSubmit="return false;"> |
<form method="get" onSubmit="return false;"> |
29 |
<div class="filters"> |
<div class="filters"> |
30 |
<input class="filters" id="textfilter" title="enter a regular expression to filter by" onKeyUp="bfilter(document,'filter',this.value,headlines);"> |
<input autocomplete="off" class="filters" id="textfilter" title="enter a regular expression to filter by" onKeyUp="document.myfilter.filter(document,this.value);"> |
31 |
<!-- this button is strictly for looks --> |
<!-- this button is strictly for looks --> |
32 |
<input class="filters" value="filter" type="button"> |
<input class="filters" value="filter" type="button"> |
33 |
</div> |
</div> |
34 |
</form> |
</form> |
35 |
|
|
36 |
<div id="status" style="font-size: 80%; color: gray;"> |
<div id="status" style="font-size: 80%; color: gray;"> |
37 |
|
<!-- |
38 |
Enter few letters to filter by them |
Enter few letters to filter by them |
39 |
|
--> |
40 |
</div> |
</div> |
41 |
|
|
42 |
<div id="results"> |
<div id="results"> |