/[webpac]/trunk2/out/thesaurus.html
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/thesaurus.html

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

revision 456 by dpavlin, Mon Sep 20 19:14:15 2004 UTC revision 480 by dpavlin, Sun Sep 26 19:53:09 2004 UTC
# Line 3  Line 3 
3  <head>  <head>
4  <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-2"/>  <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-2"/>
5  <script type="text/javascript" src="bfilter/bfilter.js"></script>  <script type="text/javascript" src="bfilter/bfilter.js"></script>
6  <script type="text/javascript" src="bfilter/DescriptorHR.js"></script>  <script type="text/javascript" src="js/popup.js"></script>
7    <script type="text/javascript" src="js/load_js.js"></script>
8    <script type="text/javascript" src="DescriptorHR.js"></script>
9  <script type="text/javascript">  <script type="text/javascript">
10    
11  function myfilter() {  function myfilter() {
12  //      document.getElementById('textfilter').focus();  //      self.document.getElementById('textfilter').focus();
13  //      document.getElementById('textfilter').caretPos=1;  //      self.document.getElementById('textfilter').caretPos=1;
14  //      document.getElementById('textfilter').select();  //      self.document.getElementById('textfilter').select();
15          document.myfilter = new BFilter(headlines);          self.document.myfilter = new BFilter(headlines);
16    
17          document.myfilter.result = function (arr) {          self.document.myfilter.result = function (arr) {
18                    var r = element_id('results');
19                    if (r) {
20                            var e = self.document.createElement("a");
21                            e.setAttribute("href","browse.html?o="+arr[1]+"#mfn"+arr[1]);
22                            e.appendChild(self.document.createTextNode(arr[0]));
23                            r.appendChild(e);
24    
25                            r.appendChild(self.document.createTextNode(" "));
26    
27                            e = self.document.createElement("a");
28                            e.setAttribute("href","thes/"+arr[1]+".html");
29                            e.setAttribute("target","popup");
30                            e.onclick = function() { return popup(e) };
31                            e.appendChild(self.document.createTextNode("\u00bb"));
32                            r.appendChild(e);
33    
34                            r.appendChild(self.document.createElement("br"));
35    
36                    } else {
37                            alert("can't find results div!");
38                    }
39    /*
40                  return '<li><a href="thes/'+arr[1]+'.html">'+arr[0]+'</a>'+                  return '<li><a href="thes/'+arr[1]+'.html">'+arr[0]+'</a>'+
41                  '&nbsp;<a href="browse.html?o='+arr[1]+'">&curren;</a>' +                  '&nbsp;<a href="browse.html?o='+arr[1]+'">&curren;</a>' +
42                  '</li>';                  '</li>';
43    */
44                    return null;
45          }          }
46    
47          // this function is called when updating innerHTML with results          // this function is called when updating innerHTML with results
48          document.myfilter.display = function (html) {          self.document.myfilter.display = function (html) {
49                  return '<ul>'+html+'</ul>';                  return null;
50    //              return '<ul>'+html+'</ul>';
51          }          }
52  }  }
53    
# Line 48  function myfilter() { Line 75  function myfilter() {
75    
76  <form method="get" onSubmit="return false;">  <form method="get" onSubmit="return false;">
77  <div class="filters">  <div class="filters">
78          <input autocomplete="off" class="filters" id="textfilter" title="enter a regular expression to filter by" onKeyUp="document.myfilter.filter(document,this.value);">          <select name="headlines_name" onChange="load_js(this.options[this.selectedIndex].value); self.document.myfilter.arr=headlines;">
79            <option value="DescriptorHR.js">Hrvatski</option>
80            <option value="DescriptorEN.js">Engleski</option>
81            <option value="DescriptorFR.js">Francuski</option>
82            <option value="DescriptorGE.js">Njemački</option>
83            </select>
84            <input autocomplete="off" class="filters" id="textfilter" title="enter a regular expression to filter by" onKeyUp="self.document.myfilter.filter(this.value);">
85          <!-- this button is strictly for looks -->          <!-- this button is strictly for looks -->
86          <input class="filters" value="filter" type="button">          <input class="filters" value="filter" type="button">
87  </div>  </div>

Legend:
Removed from v.456  
changed lines
  Added in v.480

  ViewVC Help
Powered by ViewVC 1.1.26