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

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

revision 494 by dpavlin, Sun Oct 10 05:55:17 2004 UTC revision 517 by dpavlin, Mon Oct 18 17:59:37 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 119  function printResults(result) Line 120  function printResults(result)
120      var e = document.createElement("font");      var e = document.createElement("font");
121    
122      e = document.createElement("a");      e = document.createElement("a");
123      e.setAttribute("href","hijerarhija.html?o="+result[i].link+"#mfn"+result[i].link);      e.setAttribute("href","hijerarhija.html?o="+result[i].link);
124      e.appendChild(document.createTextNode(result[i].title));      e.appendChild(document.createTextNode(result[i].title));
125      d.appendChild(e);      d.appendChild(e);
126      d.appendChild(document.createTextNode(" "));      d.appendChild(document.createTextNode(" "));
# Line 152  function printResults(result) Line 153  function printResults(result)
153  // override default sort by frequency and sort by headline  // override default sort by frequency and sort by headline
154  function sortResults_title(a, b)  function sortResults_title(a, b)
155  {  {
156    return a.title == b.title ? 0 : ( a.title > b.title ? -1 : 1);    return a.title.toLowerCase() == b.title.toLowerCase() ? 0 : ( a.title.toLowerCase() > b.title.toLowerCase() ? -1 : 1);
157  }  }
Legend:
Removed from v.494  
changed lines
  Added in v.517
  ViewVC Help
Powered by ViewVC 1.1.26