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]+'">&curren;</a>' +
                '</li>';
        }

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

</script>
<script type="text/javascript" src="bfilter/hide.js"></script>
<link rel="stylesheet" href="style.css" type="text/css">
<title>Thesaurus</title>
</head>

<body onload="myfilter(); ">

<div style="float: right; width: 10em; text-align: center; margin: 0.5m">
<a href="#" onClick="toggle_display('debug');">debug</a>

<div style="text-align: left; border: 1px dashed #c0c0c0; display: none;" id="debug">
</div>

</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	dpavlin	452	' <a href="browse.html?o='+arr[1]+'">¤</a>' +
18	dpavlin	448	'</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	dpavlin	452	<script type="text/javascript" src="bfilter/hide.js"></script>
29	dpavlin	432	<link rel="stylesheet" href="style.css" type="text/css">
30			<title>Thesaurus</title>
31			</head>
32
33			<body onload="myfilter(); ">
34
35	dpavlin	452	<div style="float: right; width: 10em; text-align: center; margin: 0.5m">
36			<a href="#" onClick="toggle_display('debug');">debug</a>
37
38			<div style="text-align: left; border: 1px dashed #c0c0c0; display: none;" id="debug">
39	dpavlin	432	</div>
40
41	dpavlin	452	</div>
42
43	dpavlin	432	<span style="background: #e0e0e0;">
44			<a href="search.html">search</a> \|
45			<a href="thesaurus.html"><b>thesarus</b></a> \|
46			<a href="browse.html">browse</a>
47			</span>
48
49			<form method="get" onSubmit="return false;">
50			<div class="filters">
51			<input autocomplete="off" class="filters" id="textfilter" title="enter a regular expression to filter by" onKeyUp="document.myfilter.filter(document,this.value);">
52			<!-- this button is strictly for looks -->
53			<input class="filters" value="filter" type="button">
54			</div>
55			</form>
56
57			<div id="status" style="font-size: 80%; color: gray;">
58			<!--
59			Enter few letters to filter by them
60			-->
61			</div>
62
63			<div id="results">
64			</div>
65
66			</body>
67