10 |
// total number of hits |
// total number of hits |
11 |
this.hits = 0; |
this.hits = 0; |
12 |
|
|
13 |
this.results_html = null; |
this.results_html = ''; |
14 |
|
|
15 |
// this function is called for each result |
// this function is called for each result |
16 |
this.result = function (arr) { |
this.result = function (arr) { |
98 |
var results_div = this.element_id("results"); |
var results_div = this.element_id("results"); |
99 |
if (clean) { |
if (clean) { |
100 |
results_div.innerHTML = html; |
results_div.innerHTML = html; |
101 |
|
this.results_html = ''; |
102 |
} else { |
} else { |
103 |
html = this.display(); |
html = this.display(); |
104 |
if (html) results_div.innerHTML += html; |
if (html) results_div.innerHTML += html; |