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])); |
e.appendChild(self.document.createTextNode(arr[0])); |
27 |
r.appendChild(e); |
li.appendChild(e); |
28 |
|
|
29 |
r.appendChild(self.document.createTextNode(" ")); |
li.appendChild(self.document.createTextNode(" ")); |
30 |
|
|
31 |
e = self.document.createElement("a"); |
e = self.document.createElement("a"); |
32 |
e.setAttribute("href","thes/"+arr[1]+".html"); |
e.setAttribute("href","thes/"+arr[1]+".html"); |
33 |
e.setAttribute("target","popup"); |
e.setAttribute("target","popup"); |
34 |
e.onclick = function() { return popup(e) }; |
e.onclick = function() { return popup(e) }; |
35 |
e.appendChild(self.document.createTextNode("\u00bb")); |
e.appendChild(self.document.createTextNode("\u00bb")); |
36 |
r.appendChild(e); |
li.appendChild(e); |
37 |
|
|
38 |
r.appendChild(self.document.createElement("br")); |
li.appendChild(self.document.createElement("br")); |
39 |
|
|
40 |
|
// append li |
41 |
|
r_div.appendChild(li); |
42 |
|
|
43 |
} else { |
} else { |
44 |
alert("can't find results div!"); |
alert("can't find results div!"); |
294 |
--> |
--> |
295 |
</div> |
</div> |
296 |
|
|
297 |
<div id="results"> |
<ul id="results"> |
298 |
</div> |
</ul> |
299 |
|
|
300 |
</td> |
</td> |
301 |
</tr> |
</tr> |