19 |
|
|
20 |
function getMoreHistory(){ |
function getMoreHistory(){ |
21 |
var indexVal = getElement("history_index").value; |
var indexVal = getElement("history_index").value; |
22 |
var xmlDoc = doSimpleXMLHttpRequest("index.cgi/snippet", {index: indexVal, q: document.getElementById('q').value }); |
var q = getElement('q').value; |
23 |
|
getElement('status').innerHTML = 'Loading page '+ ( parseInt(indexVal) + 1 ) + '...'; |
24 |
|
var xmlDoc = doSimpleXMLHttpRequest("index.cgi/snippet", {index: indexVal, q: q}); |
25 |
xmlDoc.addCallbacks(addMoreHistory, failure); |
xmlDoc.addCallbacks(addMoreHistory, failure); |
26 |
} |
} |
27 |
|
|
69 |
swapDOM( "more_history", new_history ); |
swapDOM( "more_history", new_history ); |
70 |
|
|
71 |
isUpdating = false; |
isUpdating = false; |
72 |
|
|
73 |
|
var status_update = getElement("status_update"); |
74 |
|
var status = getElement("status"); |
75 |
|
if (status_update && status) { |
76 |
|
status.innerHTML = status_update.innerHTML; |
77 |
|
log("status updated"); |
78 |
|
} |
79 |
|
|
80 |
} |
} |
81 |
|
|
82 |
function updatePage(){ |
function updatePage(){ |