--- trunk2/out/js/usage.js 2004/07/22 19:00:27 396 +++ trunk2/out/js/usage.js 2004/09/15 21:15:50 451 @@ -58,6 +58,7 @@ { if((m.nodeType == 1) && (m.tagName.toLowerCase() == "div") && + m.getAttribute("id") && (m.getAttribute("id").toLowerCase() == id.toLowerCase() )) { return m; @@ -85,11 +86,12 @@ debug("printResults("+result.length+")"); var d = findDiv("results"); + var header; // Null result output if(result.length < 1) { - var header = (d.getElementsByTagName("h2"))[0].firstChild; + header = (d.getElementsByTagName("h2"))[0].firstChild; header.replaceData(0, 14, "Nothing Found "); if(search_err != "") @@ -111,8 +113,8 @@ var e = document.createElement("font"); e = document.createElement("a"); - e.setAttribute("href",result[i].link); - e.setAttribute("target","_blank"); + e.setAttribute("href",result[i].link+location.search); +// e.setAttribute("target","_blank"); e.appendChild(document.createTextNode(result[i].title)); d.appendChild(e); d.appendChild(document.createTextNode(" ")); @@ -126,7 +128,7 @@ } // Change header - var header = (d.getElementsByTagName("h2"))[0].firstChild; + header = (d.getElementsByTagName("h2"))[0].firstChild; header.replaceData(0, 14, "Search Results");