9 |
<script type="text/javascript" src="js/popup.js"></script> |
<script type="text/javascript" src="js/popup.js"></script> |
10 |
<script type="text/javascript" src="js/load_js.js"></script> |
<script type="text/javascript" src="js/load_js.js"></script> |
11 |
<script type="text/javascript" src="js/cookies.js"></script> |
<script type="text/javascript" src="js/cookies.js"></script> |
12 |
|
<script type="text/javascript" src="js/l2_unescape.js"></script> |
13 |
|
<script type="text/javascript" src="js/unac.js"></script> |
14 |
<script type="text/javascript"> |
<script type="text/javascript"> |
15 |
// <!-- |
// <!-- |
16 |
|
|
32 |
// self.document.getElementById('textfilter').select(); |
// self.document.getElementById('textfilter').select(); |
33 |
self.document.myfilter = new BFilter(headlines); |
self.document.myfilter = new BFilter(headlines); |
34 |
|
|
35 |
|
// define some regexps |
36 |
|
self.document.myfilter.star_regex = new RegExp(/ *\* */); |
37 |
|
self.document.myfilter.htmlent_regex = new RegExp(/(&[a-z][a-z]*;)/i); |
38 |
|
|
39 |
|
self.document.myfilter.text_ent = function (str) { |
40 |
|
if (str.match(this.htmlent_regex)) { |
41 |
|
var e = self.document.createElement("span"); |
42 |
|
e.innerHTML = str; |
43 |
|
return e; |
44 |
|
} else { |
45 |
|
return self.document.createTextNode(str); |
46 |
|
} |
47 |
|
} |
48 |
|
|
49 |
self.document.myfilter.result = function (arr) { |
self.document.myfilter.result = function (arr) { |
50 |
var r_div = element_id('results'); |
var r_div = element_id('results'); |
51 |
if (r_div) { |
if (r_div) { |
54 |
var pic = null; |
var pic = null; |
55 |
|
|
56 |
e.setAttribute("href","hijerarhija.html?o="+arr[1]+"#mfn"+arr[1]); |
e.setAttribute("href","hijerarhija.html?o="+arr[1]+"#mfn"+arr[1]); |
57 |
var regex = new RegExp(/ *\* */); |
if (arr[0].match(this.star_regex)) { |
58 |
if (arr[0].match(regex)) { |
e.appendChild(this.text_ent(arr[2].replace(this.star_regex,' '))); |
|
e.appendChild(self.document.createTextNode(arr[0].replace(regex,' '))); |
|
59 |
pic = self.document.createElement("img"); |
pic = self.document.createElement("img"); |
60 |
pic.src = 'img/crovoc.png'; |
pic.src = 'img/crovoc.png'; |
61 |
pic.border = 0; |
pic.border = 0; |
62 |
e.appendChild(pic); |
e.appendChild(pic); |
63 |
} else { |
} else { |
64 |
e.appendChild(self.document.createTextNode(arr[0])); |
e.appendChild(this.text_ent(arr[2])); |
65 |
} |
} |
66 |
li.appendChild(e); |
li.appendChild(e); |
67 |
|
|
141 |
|
|
142 |
function do_filter(filter) { |
function do_filter(filter) { |
143 |
element_id('status').innerHTML = "Pretraživanje u tijeku..."; |
element_id('status').innerHTML = "Pretraživanje u tijeku..."; |
144 |
if (self.document.myfilter) self.document.myfilter.filter(filter); |
var f = l2_unescape(filter); |
145 |
|
f = f.substr(0,2) + unac(f.substr(2,f.length-2)); |
146 |
|
if (self.document.myfilter) self.document.myfilter.filter(f); |
147 |
} |
} |
148 |
|
|
149 |
function load_lang_finished() { |
function load_lang_finished() { |
305 |
</tr> |
</tr> |
306 |
<tr> |
<tr> |
307 |
<td colspan="3" class="menuItem"> |
<td colspan="3" class="menuItem"> |
308 |
Klik na znak » otvara novi prozor u kojem |
Klik na znak <img src="img/listic.png" border="0"> otvara novi prozor u kojem |
309 |
se pojavljuje detaljan prikaz traženog pojma. |
se pojavljuje detaljan prikaz traženog pojma. |
310 |
</td> |
</td> |
311 |
</tr> |
</tr> |