--- no_pager/no_pager.js 2006/08/15 23:13:20 7 +++ no_pager/no_pager.js 2006/08/16 00:29:08 9 @@ -19,7 +19,9 @@ function getMoreHistory(){ var indexVal = getElement("history_index").value; - var xmlDoc = doSimpleXMLHttpRequest("index.cgi/snippet", {index: indexVal, q: document.getElementById('q').value }); + var q = getElement('q').value; + getElement('status').innerHTML = 'Loading page '+ ( parseInt(indexVal) + 1 ) + '...'; + var xmlDoc = doSimpleXMLHttpRequest("index.cgi/snippet", {index: indexVal, q: q}); xmlDoc.addCallbacks(addMoreHistory, failure); } @@ -67,6 +69,14 @@ swapDOM( "more_history", new_history ); isUpdating = false; + + var status_update = getElement("status_update"); + var status = getElement("status"); + if (status_update && status) { + status.innerHTML = status_update.innerHTML; + log("status updated"); + } + } function updatePage(){