trunk2/out/alphabetical.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="js/popup.js"></script>
<script type="text/javascript" src="bfilter/DescriptorHR.js"></script>
<script type="text/javascript">

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

        self.document.myfilter.result = function (arr) {
                var r = element_id('results');
                if (r) {
                        var e = self.document.createElement("a");
                        e.setAttribute("href","browse.html?o="+arr[1]+"#mfn"+arr[1]);
                        e.appendChild(self.document.createTextNode(arr[0]));
                        r.appendChild(e);

                        r.appendChild(self.document.createTextNode(" "));

                        e = self.document.createElement("a");
                        e.setAttribute("href","thes/"+arr[1]+".html");
                        e.setAttribute("target","popup");
                        e.onclick = function() { return popup(e) };
                        e.appendChild(self.document.createTextNode("\u00bb"));
                        r.appendChild(e);

                        r.appendChild(self.document.createElement("br"));

                } else {
                        alert("can't find results div!");
                }
/*
                return '<li><a href="thes/'+arr[1]+'.html">'+arr[0]+'</a>'+
                '&nbsp;<a href="browse.html?o='+arr[1]+'">&curren;</a>' +
                '</li>';
*/
                return null;
        }

        // this function is called when updating innerHTML with results
        self.document.myfilter.display = function (html) {
                return null;
//              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="self.document.myfilter.filter(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	dpavlin	470	<script type="text/javascript" src="js/popup.js"></script>
7	dpavlin	432	<script type="text/javascript" src="bfilter/DescriptorHR.js"></script>
8			<script type="text/javascript">
9
10			function myfilter() {
11	dpavlin	468	// self.document.getElementById('textfilter').focus();
12			// self.document.getElementById('textfilter').caretPos=1;
13			// self.document.getElementById('textfilter').select();
14			self.document.myfilter = new BFilter(headlines);
15	dpavlin	448
16	dpavlin	468	self.document.myfilter.result = function (arr) {
17	dpavlin	465	var r = element_id('results');
18			if (r) {
19	dpavlin	468	var e = self.document.createElement("a");
20	dpavlin	469	e.setAttribute("href","browse.html?o="+arr[1]+"#mfn"+arr[1]);
21	dpavlin	468	e.appendChild(self.document.createTextNode(arr[0]));
22	dpavlin	465	r.appendChild(e);
23
24	dpavlin	468	r.appendChild(self.document.createTextNode(" "));
25	dpavlin	465
26	dpavlin	468	e = self.document.createElement("a");
27	dpavlin	467	e.setAttribute("href","thes/"+arr[1]+".html");
28	dpavlin	470	e.setAttribute("target","popup");
29			e.onclick = function() { return popup(e) };
30			e.appendChild(self.document.createTextNode("\u00bb"));
31	dpavlin	465	r.appendChild(e);
32
33	dpavlin	468	r.appendChild(self.document.createElement("br"));
34	dpavlin	465
35			} else {
36			alert("can't find results div!");
37			}
38			/*
39	dpavlin	448	return '<li><a href="thes/'+arr[1]+'.html">'+arr[0]+'</a>'+
40	dpavlin	452	' <a href="browse.html?o='+arr[1]+'">¤</a>' +
41	dpavlin	448	'</li>';
42	dpavlin	465	*/
43	dpavlin	468	return null;
44	dpavlin	448	}
45
46			// this function is called when updating innerHTML with results
47	dpavlin	468	self.document.myfilter.display = function (html) {
48	dpavlin	465	return null;
49			// return '<ul>'+html+'</ul>';
50	dpavlin	448	}
51	dpavlin	432	}
52
53			</script>
54	dpavlin	452	<script type="text/javascript" src="bfilter/hide.js"></script>
55	dpavlin	432	<link rel="stylesheet" href="style.css" type="text/css">
56			<title>Thesaurus</title>
57			</head>
58
59			<body onload="myfilter(); ">
60
61	dpavlin	452	<div style="float: right; width: 10em; text-align: center; margin: 0.5m">
62			<a href="#" onClick="toggle_display('debug');">debug</a>
63
64			<div style="text-align: left; border: 1px dashed #c0c0c0; display: none;" id="debug">
65	dpavlin	432	</div>
66
67	dpavlin	452	</div>
68
69	dpavlin	432	<span style="background: #e0e0e0;">
70			<a href="search.html">search</a> \|
71			<a href="thesaurus.html"><b>thesarus</b></a> \|
72			<a href="browse.html">browse</a>
73			</span>
74
75			<form method="get" onSubmit="return false;">
76			<div class="filters">
77	dpavlin	468	<input autocomplete="off" class="filters" id="textfilter" title="enter a regular expression to filter by" onKeyUp="self.document.myfilter.filter(this.value);">
78	dpavlin	432	<!-- this button is strictly for looks -->
79			<input class="filters" value="filter" type="button">
80			</div>
81			</form>
82
83			<div id="status" style="font-size: 80%; color: gray;">
84			<!--
85			Enter few letters to filter by them
86			-->
87			</div>
88
89			<div id="results">
90			</div>
91
92			</body>
93