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="js/popup.js"></script>
<script type="text/javascript" src="js/load_js.js"></script>
<script type="text/javascript" src="js/cookies.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>';
        }
}

var lang2thes = {
        'hr' : 'DescriptorHR.js',
        'en' : 'DescriptorEN.js',
        'fr' : 'DescriptorFR.js',
        'ge' : 'DescriptorGE.js'
};

var lang = get_cookie('w2_lang');
if (! lang) lang = 'hr';

load_js(lang2thes[lang]);

function change_lang(lang) {
        // reset results
        self.document.myfilter.filter('');

        set_cookie('w2_lang', lang);
        load_js(lang2thes[lang]);
        self.document.myfilter.arr=headlines;
        return true;
}

function select_option(value,text,selected) {
        document.write('<option value="'+value+'"');
        if (value == selected) document.write(' selected');
        document.write('>'+text+'</option>');
}
// -->
</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>

<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;" action="?">
<div class="filters">
  <script type="text/javascript">
        // <!--
        document.write('<select name="lang" onchange="change_lang(this.options[this.selectedIndex].value);">');
        select_option("hr","Hrvatski",lang);
        select_option("en","Engleski",lang);
        select_option("fr","Francuski",lang);
        select_option("ge","Njemaèki",lang);
        document.write('</select>');
        // -->
  </script>

        <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>

</div>
</body>
</html>
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	480	<script type="text/javascript" src="js/load_js.js"></script>
8	dpavlin	507	<script type="text/javascript" src="js/cookies.js"></script>
9	dpavlin	432	<script type="text/javascript">
10	dpavlin	507	// <!--
11	dpavlin	432	function myfilter() {
12	dpavlin	468	// self.document.getElementById('textfilter').focus();
13			// self.document.getElementById('textfilter').caretPos=1;
14			// self.document.getElementById('textfilter').select();
15			self.document.myfilter = new BFilter(headlines);
16	dpavlin	448
17	dpavlin	468	self.document.myfilter.result = function (arr) {
18	dpavlin	465	var r = element_id('results');
19			if (r) {
20	dpavlin	468	var e = self.document.createElement("a");
21	dpavlin	469	e.setAttribute("href","browse.html?o="+arr[1]+"#mfn"+arr[1]);
22	dpavlin	468	e.appendChild(self.document.createTextNode(arr[0]));
23	dpavlin	465	r.appendChild(e);
24
25	dpavlin	468	r.appendChild(self.document.createTextNode(" "));
26	dpavlin	465
27	dpavlin	468	e = self.document.createElement("a");
28	dpavlin	467	e.setAttribute("href","thes/"+arr[1]+".html");
29	dpavlin	470	e.setAttribute("target","popup");
30			e.onclick = function() { return popup(e) };
31			e.appendChild(self.document.createTextNode("\u00bb"));
32	dpavlin	465	r.appendChild(e);
33
34	dpavlin	468	r.appendChild(self.document.createElement("br"));
35	dpavlin	465
36			} else {
37			alert("can't find results div!");
38			}
39			/*
40	dpavlin	448	return '<li><a href="thes/'+arr[1]+'.html">'+arr[0]+'</a>'+
41	dpavlin	452	' <a href="browse.html?o='+arr[1]+'">¤</a>' +
42	dpavlin	448	'</li>';
43	dpavlin	465	*/
44	dpavlin	468	return null;
45	dpavlin	448	}
46
47			// this function is called when updating innerHTML with results
48	dpavlin	468	self.document.myfilter.display = function (html) {
49	dpavlin	465	return null;
50			// return '<ul>'+html+'</ul>';
51	dpavlin	448	}
52	dpavlin	432	}
53
54	dpavlin	507	var lang2thes = {
55			'hr' : 'DescriptorHR.js',
56			'en' : 'DescriptorEN.js',
57			'fr' : 'DescriptorFR.js',
58			'ge' : 'DescriptorGE.js'
59			};
60
61			var lang = get_cookie('w2_lang');
62			if (! lang) lang = 'hr';
63
64			load_js(lang2thes[lang]);
65
66			function change_lang(lang) {
67			// reset results
68			self.document.myfilter.filter('');
69
70			set_cookie('w2_lang', lang);
71			load_js(lang2thes[lang]);
72			self.document.myfilter.arr=headlines;
73			return true;
74			}
75
76			function select_option(value,text,selected) {
77			document.write('<option value="'+value+'"');
78			if (value == selected) document.write(' selected');
79			document.write('>'+text+'</option>');
80			}
81			// -->
82	dpavlin	432	</script>
83	dpavlin	452	<script type="text/javascript" src="bfilter/hide.js"></script>
84	dpavlin	507	<link rel="stylesheet" href="style.css" type="text/css" />
85	dpavlin	432	<title>Thesaurus</title>
86			</head>
87
88			<body onload="myfilter(); ">
89	dpavlin	507	<div>
90	dpavlin	432
91	dpavlin	452	<div style="float: right; width: 10em; text-align: center; margin: 0.5m">
92	dpavlin	507	<a href="#" onclick="toggle_display('debug');">debug</a>
93			<div style="text-align: left; border: 1px dashed #c0c0c0; display: none;" id="debug">
94			</div>
95	dpavlin	432	</div>
96
97			<span style="background: #e0e0e0;">
98			<a href="search.html">search</a> \|
99			<a href="thesaurus.html"><b>thesarus</b></a> \|
100			<a href="browse.html">browse</a>
101			</span>
102
103	dpavlin	507	<form method="get" onsubmit="return false;" action="?">
104	dpavlin	432	<div class="filters">
105	dpavlin	507	<script type="text/javascript">
106			// <!--
107			document.write('<select name="lang" onchange="change_lang(this.options[this.selectedIndex].value);">');
108			select_option("hr","Hrvatski",lang);
109			select_option("en","Engleski",lang);
110			select_option("fr","Francuski",lang);
111			select_option("ge","Njemaèki",lang);
112			document.write('</select>');
113			// -->
114			</script>
115
116			<input autocomplete="off" class="filters" id="textfilter" title="enter a regular expression to filter by" onkeyup="self.document.myfilter.filter(this.value);" />
117	dpavlin	432	<!-- this button is strictly for looks -->
118	dpavlin	507	<input class="filters" value="filter" type="button" />
119	dpavlin	432	</div>
120			</form>
121
122			<div id="status" style="font-size: 80%; color: gray;">
123			<!--
124			Enter few letters to filter by them
125			-->
126			</div>
127
128			<div id="results">
129			</div>
130
131	dpavlin	507	</div>
132	dpavlin	432	</body>
133	dpavlin	507	</html>