trunk2/out/thesaurus.html

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-2"/>
<script type="text/javascript" src="bfilter/bfilter.js"></script>
<script type="text/javascript" src="bfilter/DescriptorHR.js"></script>
<script type="text/javascript">

function myfilter() {
//      document.getElementById('textfilter').focus();
//      document.getElementById('textfilter').caretPos=1;
//      document.getElementById('textfilter').select();
        document.myfilter = new BFilter(headlines);

        document.myfilter.result = function (arr) {
                return '<li><a href="thes/'+arr[1]+'.html">'+arr[0]+'</a>'+
                '&nbsp;<a href="browse.html?o='+arr[1]+'">&#8258;</a>' +
                '</li>';
        }

        // this function is called when updating innerHTML with results
        document.myfilter.display = function (html) {
                return '<ul>'+html+'</ul>';
        }
}

</script>
<!--
<link rel="stylesheet" href="style.css" type="text/css">
-->
<title>Thesaurus</title>
</head>

<body onload="myfilter(); ">

<div style="width:20%; float: right; border: 1px solid red" id="debug">
</div>

<span style="background: #e0e0e0;">
    <a href="search.html">search</a> |
    <a href="thesaurus.html"><b>thesarus</b></a> |
    <a href="browse.html">browse</a>
</span>

<form method="get" onSubmit="return false;">
<div class="filters">
        <input autocomplete="off" class="filters" id="textfilter" title="enter a regular expression to filter by" onKeyUp="document.myfilter.filter(document,this.value);">
        <!-- this button is strictly for looks -->
        <input class="filters" value="filter" type="button">
</div>
</form>

<div id="status" style="font-size: 80%; color: gray;">
<!--
Enter few letters to filter by them
-->
</div>

<div id="results">
</div>

</body>

1	dpavlin	432	<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
2			<html>
3			<head>
4			<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-2"/>
5			<script type="text/javascript" src="bfilter/bfilter.js"></script>
6			<script type="text/javascript" src="bfilter/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	dpavlin	448
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	dpavlin	432	}
26
27			</script>
28			<!--
29			<link rel="stylesheet" href="style.css" type="text/css">
30			-->
31			<title>Thesaurus</title>
32			</head>
33
34			<body onload="myfilter(); ">
35
36			<div style="width:20%; float: right; border: 1px solid red" id="debug">
37			</div>
38
39			<span style="background: #e0e0e0;">
40			<a href="search.html">search</a> \|
41			<a href="thesaurus.html"><b>thesarus</b></a> \|
42			<a href="browse.html">browse</a>
43			</span>
44
45			<form method="get" onSubmit="return false;">
46			<div class="filters">
47			<input autocomplete="off" class="filters" id="textfilter" title="enter a regular expression to filter by" onKeyUp="document.myfilter.filter(document,this.value);">
48			<!-- this button is strictly for looks -->
49			<input class="filters" value="filter" type="button">
50			</div>
51			</form>
52
53			<div id="status" style="font-size: 80%; color: gray;">
54			<!--
55			Enter few letters to filter by them
56			-->
57			</div>
58
59			<div id="results">
60			</div>
61
62			</body>
63