/[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 506 by dpavlin, Sun Oct 10 18:55:27 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 = document.form.elements['query'].value;
32    var index_name = form.elements['index_name'].options[form.elements['index_name'].selectedIndex].value;    var index_name = document.form.elements['index_name'].options[document.form.elements['index_name'].selectedIndex].value;
33    
34    if(!query)    if(!query)
35    {    {
# Line 116  function printResults(result) Line 116  function printResults(result)
116      var e = document.createElement("font");      var e = document.createElement("font");
117    
118      e = document.createElement("a");      e = document.createElement("a");
119      e.setAttribute("href","browse.html?o="+result[i].link+"#mfn"+result[i].link);      e.setAttribute("href","browse.html?o="+result[i].link);
120      e.appendChild(document.createTextNode(result[i].title));      e.appendChild(document.createTextNode(result[i].title));
121      d.appendChild(e);      d.appendChild(e);
122      d.appendChild(document.createTextNode(" "));      d.appendChild(document.createTextNode(" "));
123    
124      e = document.createElement("a");      e = document.createElement("a");
125      e.setAttribute("href","thes/"+result[i].link+".html"+location.search);      e.setAttribute("href","thes/"+result[i].link+".html"+location.search);
126  //    e.setAttribute("target","_blank");      e.setAttribute("target","popup");
127      e.appendChild(document.createTextNode(">>"));      //e.onclick = function() { return popup(); };
128        e.onclick = popup;
129        e.appendChild(document.createTextNode("\u00bb"));
130      d.appendChild(e);      d.appendChild(e);
131  /*  /*
132      e = document.createElement("font");      e = document.createElement("font");
Legend:
Removed from v.469  
changed lines
  Added in v.506
  ViewVC Help
Powered by ViewVC 1.1.26