-/* $Id: search.js,v 1.4 2007-01-05 13:45:35 sondberg Exp $
+/* $Id: search.js,v 1.11 2007-01-10 09:50:57 sondberg Exp $
* ---------------------------------------------------
* Javascript container
*/
var old_session = session_read();
var url_surveillence;
var recstoshow = 15;
+var page_window = 5; // Number of pages prior to and after the current page
var facet_list;
var cur_facet = 0;
xinitSession.onreadystatechange=session_started;
xinitSession.open("GET", url);
xinitSession.send(null);
-
- //url_surveillence = setInterval(session_check, 200);
}
function ping_session()
}
+function make_pager (hits, offset, max) {
+ var html = '';
+ var off;
+ var start_offset = offset - page_window * max;
+
+ if (start_offset < 0) {
+ start_offset = 0;
+ }
+
+ for (off = start_offset;
+ off < hits && off < (start_offset + 2 * page_window * max);
+ off += max) {
+
+ var class = '';
+
+ if (off < 0)
+ off = 0;
+
+ var p = off / max + 1;
+
+ if ((offset >= off) && (offset < (off + max)))
+ class = ' class="select"';
+
+ html += '<a href="#" ' + class +
+ 'onclick="update_offset(' + off + ')">' + p + '</a>\n';
+ }
+
+ return html;
+}
+
+
+function update_offset (offset) {
+ document.search.startrec.value = offset;
+ update_action('page');
+ check_search();
+ update_history();
+ return false;
+}
+
+
function show_records()
{
if (xshow.readyState != 4)
var start = Number(xml.getElementsByTagName('start')[0].childNodes[0].nodeValue);
var num = Number(xml.getElementsByTagName('num')[0].childNodes[0].nodeValue);
var clients = Number(xml.getElementsByTagName("activeclients")[0].childNodes[0].nodeValue);
- body.innerHTML = '<b>Records : ';
- body.innerHTML += (start + 1) + ' to ' + (start + num) +
- ' of ' + merged + ' (total hits: ' + total + ')</b>';
-
+ body.innerHTML = '<div class="pages">' +
+ make_pager(merged, start, recstoshow) +
+ '</div>';
+
+ body.innerHTML += '<div class="results">Records : ' + (start + 1) +
+ ' to ' + (start + num) + ' of ' + merged +
+ ' (total hits: ' + total + ')</div><br/><br/>';
+
+/*
if (start + num < merged)
body.innerHTML += ' <a href="" ' +
'onclick="document.search.startrec.value=' + (start + recstoshow) +
';check_search(); update_history();return false;">Previous</a>';
body.innerHTML += '<br/>';
+*/
+ body.innerHTML += '<div class="records">';
+
for (i = 0; i < hits.length; i++)
{
- body.innerHTML += '<p>';
- body.innerHTML += (i + start + 1) + ': ';
- var mk = hits[i].getElementsByTagName("title");
- if (mk[0])
- body.innerHTML += mk[0].childNodes[0].nodeValue;
- body.innerHTML += '</p>';
+ var mk = hits[i].getElementsByTagName("md-title");
+ var html = '<a href="#" class="record">';
+ var field = '';
+
+ if (mk[0]) {
+ field = mk[0].childNodes[0].nodeValue;
+ }
+
+ html += field + '</a>';
+ body.innerHTML += html;
}
+
+ body.innerHTML += '</div>';
shown++;
if (clients > 0)
{
if (obj.className == 'selected') {
obj.className = 'unselected';
- container.style.display = 'block';
+ container.style.display = 'inline';
} else {
obj.className = 'selected';
container.style.display = 'none';