/[webpac]/trunk2/out/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 /trunk2/out/js/usage.js

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

revision 469 by dpavlin, Fri Sep 24 18:04:48 2004 UTC revision 529 by dpavlin, Tue Oct 19 16:30:12 2004 UTC
# Line 28  Line 28 
28  function go(f)  function go(f)
29  {  {
30    var form = document.getElementById('search');    var form = document.getElementById('search');
31    var query = form.elements['query'].value;    var query = null;
32    var index_name = form.elements['index_name'].options[form.elements['index_name'].selectedIndex].value;    if (document.form.elements['query']) query = document.form.elements['query'].value;
33      var index_name = document.form.elements['index_name'].options[document.form.elements['index_name'].selectedIndex].value;
34    
35    if(!query)    if(!query)
36    {    {
# Line 116  function printResults(result) Line 117  function printResults(result)
117      var e = document.createElement("font");      var e = document.createElement("font");
118    
119      e = document.createElement("a");      e = document.createElement("a");
120      e.setAttribute("href","browse.html?o="+result[i].link+"#mfn"+result[i].link);      e.setAttribute("href","browse.html?o="+result[i].link);
121      e.appendChild(document.createTextNode(result[i].title));      e.appendChild(document.createTextNode(result[i].title));
122      d.appendChild(e);      d.appendChild(e);
123      d.appendChild(document.createTextNode(" "));      d.appendChild(document.createTextNode(" "));
124    
125      e = document.createElement("a");      e = document.createElement("a");
126      e.setAttribute("href","thes/"+result[i].link+".html"+location.search);      e.setAttribute("href","thes/"+result[i].link+".html"+location.search);
127  //    e.setAttribute("target","_blank");      e.setAttribute("target","popup");
128      e.appendChild(document.createTextNode(">>"));      //e.onclick = function() { return popup(); };
129        e.onclick = popup;
130        e.appendChild(document.createTextNode("\u00bb"));
131      d.appendChild(e);      d.appendChild(e);
132  /*  /*
133      e = document.createElement("font");      e = document.createElement("font");
Legend:
Removed from v.469  
changed lines
  Added in v.529
  ViewVC Help
Powered by ViewVC 1.1.26