/[jsFind]/trunk/html/js/usage.js
This is repository of my old source code which isn't updated any more. Go to git.rot13.org for current projects!
ViewVC logotype

Diff of /trunk/html/js/usage.js

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 6 by dpavlin, Tue Jul 20 17:59:47 2004 UTC revision 19 by dpavlin, Sun Oct 3 21:26:37 2004 UTC
# Line 27  Line 27 
27    
28  function go(f)  function go(f)
29  {  {
30    if(!document.search.query)    var form = document.getElementById('search');
31      var query = form.elements['query'].value;
32      var index_name = form.elements['index_name'].options[form.elements['index_name'].selectedIndex].value;
33    
34      if(!query)
35    {    {
36      return false;      return false;
37    }    }
38    
   var query=document.search.query.value;  
   var index_name=document.search.index_name.value;  
   
39    if(query == null || query == "")    if(query == null || query == "")
40    {    {
41      alert("No search terms entered!");      alert("No search terms entered!");
# Line 58  function findDivHelper(n, id) Line 59  function findDivHelper(n, id)
59    {    {
60      if((m.nodeType == 1) &&      if((m.nodeType == 1) &&
61         (m.tagName.toLowerCase() == "div") &&         (m.tagName.toLowerCase() == "div") &&
62           m.getAttribute("id") &&
63         (m.getAttribute("id").toLowerCase() == id.toLowerCase() ))         (m.getAttribute("id").toLowerCase() == id.toLowerCase() ))
64      {      {
65        return m;        return m;
# Line 85  function printResults(result) Line 87  function printResults(result)
87    debug("printResults("+result.length+")");    debug("printResults("+result.length+")");
88    
89    var d = findDiv("results");    var d = findDiv("results");
90      var header;
91    
92    // Null result output    // Null result output
93    if(result.length < 1)    if(result.length < 1)
94    {    {
95      var header = (d.getElementsByTagName("h2"))[0].firstChild;      header = (d.getElementsByTagName("h2"))[0].firstChild;
96      header.replaceData(0, 14, "Nothing Found ");      try {
97          header.replaceData(0, 14, "Nothing Found ");
98        } catch(e) {}
99    
100      if(search_err != "")      if(search_err != "")
101      {      {
# Line 133  function printResults(result) Line 138  function printResults(result)
138    }    }
139    
140    // Change header    // Change header
141    var header = (d.getElementsByTagName("h2"))[0].firstChild;    header = (d.getElementsByTagName("h2"))[0].firstChild;
142    
143    header.replaceData(0, 14, "Search Results");    try {
144        header.replaceData(0, 14, "Search Results");
145      } catch(e) {}
146    
147  }  }
Legend:
Removed from v.6  
changed lines
  Added in v.19
  ViewVC Help
Powered by ViewVC 1.1.26