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/bfilter.js"></script> |
<script type="text/javascript" src="bfilter/bfilter.js"></script> |
6 |
<script type="text/javascript" src="bfilter/DescriptorHR.js"></script> |
<script type="text/javascript" src="js/popup.js"></script> |
7 |
|
<script type="text/javascript" src="js/load_js.js"></script> |
8 |
|
<script type="text/javascript" src="js/cookies.js"></script> |
9 |
<script type="text/javascript"> |
<script type="text/javascript"> |
10 |
|
// <!-- |
11 |
function myfilter() { |
function myfilter() { |
12 |
// document.getElementById('textfilter').focus(); |
// self.document.getElementById('textfilter').focus(); |
13 |
// document.getElementById('textfilter').caretPos=1; |
// self.document.getElementById('textfilter').caretPos=1; |
14 |
// document.getElementById('textfilter').select(); |
// self.document.getElementById('textfilter').select(); |
15 |
document.myfilter = new BFilter(headlines); |
self.document.myfilter = new BFilter(headlines); |
16 |
|
|
17 |
document.myfilter.result = function (arr) { |
self.document.myfilter.result = function (arr) { |
18 |
var r = element_id('results'); |
var r = element_id('results'); |
19 |
if (r) { |
if (r) { |
20 |
var e = document.createElement("a"); |
var e = self.document.createElement("a"); |
21 |
e.setAttribute("href","thes/"+arr[1]+".html"); |
e.setAttribute("href","browse.html?o="+arr[1]+"#mfn"+arr[1]); |
22 |
//e.setAttribute("target","_blank"); |
e.appendChild(self.document.createTextNode(arr[0])); |
|
e.appendChild(document.createTextNode(arr[0])); |
|
23 |
r.appendChild(e); |
r.appendChild(e); |
24 |
|
|
25 |
r.appendChild(document.createTextNode(" ")); |
r.appendChild(self.document.createTextNode(" ")); |
26 |
|
|
27 |
e = document.createElement("a"); |
e = self.document.createElement("a"); |
28 |
e.setAttribute("href","browse.html?o="+arr[1]); |
e.setAttribute("href","thes/"+arr[1]+".html"); |
29 |
e.appendChild(document.createTextNode(">>")); |
e.setAttribute("target","popup"); |
30 |
|
e.onclick = function() { return popup(e) }; |
31 |
|
e.appendChild(self.document.createTextNode("\u00bb")); |
32 |
r.appendChild(e); |
r.appendChild(e); |
33 |
|
|
34 |
r.appendChild(document.createElement("br")); |
r.appendChild(self.document.createElement("br")); |
35 |
|
|
|
return null; |
|
36 |
} else { |
} else { |
37 |
alert("can't find results div!"); |
alert("can't find results div!"); |
38 |
} |
} |
41 |
' <a href="browse.html?o='+arr[1]+'">¤</a>' + |
' <a href="browse.html?o='+arr[1]+'">¤</a>' + |
42 |
'</li>'; |
'</li>'; |
43 |
*/ |
*/ |
44 |
|
return null; |
45 |
} |
} |
46 |
|
|
47 |
// this function is called when updating innerHTML with results |
// this function is called when updating innerHTML with results |
48 |
document.myfilter.display = function (html) { |
self.document.myfilter.display = function (html) { |
49 |
return null; |
return null; |
50 |
// return '<ul>'+html+'</ul>'; |
// return '<ul>'+html+'</ul>'; |
51 |
} |
} |
52 |
} |
} |
53 |
|
|
54 |
|
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 |
</script> |
</script> |
83 |
<script type="text/javascript" src="bfilter/hide.js"></script> |
<script type="text/javascript" src="bfilter/hide.js"></script> |
84 |
<link rel="stylesheet" href="style.css" type="text/css"> |
<link rel="stylesheet" href="style.css" type="text/css" /> |
85 |
<title>Thesaurus</title> |
<title>Thesaurus</title> |
86 |
</head> |
</head> |
87 |
|
|
88 |
<body onload="myfilter(); "> |
<body onload="myfilter(); "> |
89 |
|
<div> |
90 |
|
|
91 |
<div style="float: right; width: 10em; text-align: center; margin: 0.5m"> |
<div style="float: right; width: 10em; text-align: center; margin: 0.5m"> |
92 |
<a href="#" onClick="toggle_display('debug');">debug</a> |
<a href="#" onclick="toggle_display('debug');">debug</a> |
93 |
|
<div style="text-align: left; border: 1px dashed #c0c0c0; display: none;" id="debug"> |
94 |
<div style="text-align: left; border: 1px dashed #c0c0c0; display: none;" id="debug"> |
</div> |
|
</div> |
|
|
|
|
95 |
</div> |
</div> |
96 |
|
|
97 |
<span style="background: #e0e0e0;"> |
<span style="background: #e0e0e0;"> |
100 |
<a href="browse.html">browse</a> |
<a href="browse.html">browse</a> |
101 |
</span> |
</span> |
102 |
|
|
103 |
<form method="get" onSubmit="return false;"> |
<form method="get" onsubmit="return false;" action="?"> |
104 |
<div class="filters"> |
<div class="filters"> |
105 |
<input autocomplete="off" class="filters" id="textfilter" title="enter a regular expression to filter by" onKeyUp="document.myfilter.filter(document,this.value);"> |
<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 |
<!-- this button is strictly for looks --> |
<!-- this button is strictly for looks --> |
118 |
<input class="filters" value="filter" type="button"> |
<input class="filters" value="filter" type="button" /> |
119 |
</div> |
</div> |
120 |
</form> |
</form> |
121 |
|
|
128 |
<div id="results"> |
<div id="results"> |
129 |
</div> |
</div> |
130 |
|
|
131 |
|
</div> |
132 |
</body> |
</body> |
133 |
|
</html> |