18 |
self.document.myfilter = new BFilter(headlines); |
self.document.myfilter = new BFilter(headlines); |
19 |
|
|
20 |
self.document.myfilter.result = function (arr) { |
self.document.myfilter.result = function (arr) { |
21 |
var r = element_id('results'); |
var r_div = element_id('results'); |
22 |
if (r) { |
if (r_div) { |
23 |
|
var li = self.document.createElement("li"); |
24 |
var e = self.document.createElement("a"); |
var e = self.document.createElement("a"); |
25 |
e.setAttribute("href","hijerarhija.html?o="+arr[1]+"#mfn"+arr[1]); |
e.setAttribute("href","hijerarhija.html?o="+arr[1]+"#mfn"+arr[1]); |
26 |
e.appendChild(self.document.createTextNode(arr[0])); |
var regex = new RegExp(/ *\* */); |
27 |
r.appendChild(e); |
if (arr[0].match(regex)) { |
28 |
|
e.appendChild(self.document.createTextNode(arr[0].replace(regex,' '))); |
29 |
|
var pic = self.document.createElement("img"); |
30 |
|
pic.src = 'img/crovoc.png'; |
31 |
|
pic.border = 0; |
32 |
|
e.appendChild(pic); |
33 |
|
} else { |
34 |
|
e.appendChild(self.document.createTextNode(arr[0])); |
35 |
|
} |
36 |
|
li.appendChild(e); |
37 |
|
|
38 |
r.appendChild(self.document.createTextNode(" ")); |
li.appendChild(self.document.createTextNode(" ")); |
39 |
|
|
40 |
e = self.document.createElement("a"); |
e = self.document.createElement("a"); |
41 |
e.setAttribute("href","thes/"+arr[1]+".html"); |
e.setAttribute("href","thes/"+arr[1]+".html"); |
42 |
e.setAttribute("target","popup"); |
e.setAttribute("target","popup"); |
43 |
e.onclick = function() { return popup(e) }; |
e.onclick = function() { return popup(e) }; |
44 |
e.appendChild(self.document.createTextNode("\u00bb")); |
var pic = self.document.createElement("img"); |
45 |
r.appendChild(e); |
pic.src = 'img/listic.png'; |
46 |
|
pic.border = 0; |
47 |
|
e.appendChild(pic); |
48 |
|
li.appendChild(e); |
49 |
|
|
50 |
r.appendChild(self.document.createElement("br")); |
li.appendChild(self.document.createElement("br")); |
51 |
|
|
52 |
|
// append li |
53 |
|
r_div.appendChild(li); |
54 |
|
|
55 |
} else { |
} else { |
56 |
alert("can't find results div!"); |
alert("can't find results div!"); |
68 |
return null; |
return null; |
69 |
// return '<ul>'+html+'</ul>'; |
// return '<ul>'+html+'</ul>'; |
70 |
} |
} |
71 |
|
|
72 |
|
self.document.myfilter.show_status = function (status) { |
73 |
|
var html; |
74 |
|
if (this.hits > 0) { |
75 |
|
html = "Pronađeno "+this.hits+" zapisa"; |
76 |
|
} else { |
77 |
|
html = "Nije pronađen niti jedan zapis"; |
78 |
|
} |
79 |
|
if (! status) { |
80 |
|
html = "Unesite "+this.min_len+" znakova za pretraživanje."; |
81 |
|
status = ""; |
82 |
|
} else { |
83 |
|
status = " za <em>"+status+"</em>."; |
84 |
|
} |
85 |
|
|
86 |
|
var el = this.element_id("status"); |
87 |
|
el.innerHTML = html+status+"\n"; |
88 |
|
} |
89 |
} |
} |
90 |
|
|
91 |
var lang2thes = { |
var lang2thes = { |
324 |
--> |
--> |
325 |
</div> |
</div> |
326 |
|
|
327 |
<div id="results"> |
<ul id="results"> |
328 |
</div> |
</ul> |
329 |
|
|
330 |
</td> |
</td> |
331 |
</tr> |
</tr> |