/[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 432 by dpavlin, Sun Sep 12 20:36:33 2004 UTC revision 469 by dpavlin, Fri Sep 24 18:04:48 2004 UTC
# Line 7  Line 7 
7  <script type="text/javascript">  <script type="text/javascript">
8    
9  function myfilter() {  function myfilter() {
10  //      document.getElementById('textfilter').focus();  //      self.document.getElementById('textfilter').focus();
11  //      document.getElementById('textfilter').caretPos=1;  //      self.document.getElementById('textfilter').caretPos=1;
12  //      document.getElementById('textfilter').select();  //      self.document.getElementById('textfilter').select();
13          document.myfilter = new BFilter(headlines);          self.document.myfilter = new BFilter(headlines);
14    
15            self.document.myfilter.result = function (arr) {
16                    var r = element_id('results');
17                    if (r) {
18                            var e = self.document.createElement("a");
19                            e.setAttribute("href","browse.html?o="+arr[1]+"#mfn"+arr[1]);
20                            e.appendChild(self.document.createTextNode(arr[0]));
21                            r.appendChild(e);
22    
23                            r.appendChild(self.document.createTextNode(" "));
24    
25                            e = self.document.createElement("a");
26                            e.setAttribute("href","thes/"+arr[1]+".html");
27                            //e.setAttribute("target","_blank");
28                            e.appendChild(self.document.createTextNode(">>"));
29                            r.appendChild(e);
30    
31                            r.appendChild(self.document.createElement("br"));
32    
33                    } else {
34                            alert("can't find results div!");
35                    }
36    /*
37                    return '<li><a href="thes/'+arr[1]+'.html">'+arr[0]+'</a>'+
38                    '&nbsp;<a href="browse.html?o='+arr[1]+'">&curren;</a>' +
39                    '</li>';
40    */
41                    return null;
42            }
43    
44            // this function is called when updating innerHTML with results
45            self.document.myfilter.display = function (html) {
46                    return null;
47    //              return '<ul>'+html+'</ul>';
48            }
49  }  }
50    
51  </script>  </script>
52  <!--  <script type="text/javascript" src="bfilter/hide.js"></script>
53  <link rel="stylesheet" href="style.css" type="text/css">  <link rel="stylesheet" href="style.css" type="text/css">
 -->  
54  <title>Thesaurus</title>  <title>Thesaurus</title>
55  </head>  </head>
56    
57  <body onload="myfilter(); ">  <body onload="myfilter(); ">
58    
59  <div style="width:20%; float: right; border: 1px solid red" id="debug">  <div style="float: right; width: 10em; text-align: center; margin: 0.5m">
60    <a href="#" onClick="toggle_display('debug');">debug</a>
61    
62    <div style="text-align: left; border: 1px dashed #c0c0c0; display: none;" id="debug">
63    </div>
64    
65  </div>  </div>
66    
67  <span style="background: #e0e0e0;">  <span style="background: #e0e0e0;">
# Line 33  function myfilter() { Line 72  function myfilter() {
72    
73  <form method="get" onSubmit="return false;">  <form method="get" onSubmit="return false;">
74  <div class="filters">  <div class="filters">
75          <input autocomplete="off" class="filters" id="textfilter" title="enter a regular expression to filter by" onKeyUp="document.myfilter.filter(document,this.value);">          <input autocomplete="off" class="filters" id="textfilter" title="enter a regular expression to filter by" onKeyUp="self.document.myfilter.filter(this.value);">
76          <!-- this button is strictly for looks -->          <!-- this button is strictly for looks -->
77          <input class="filters" value="filter" type="button">          <input class="filters" value="filter" type="button">
78  </div>  </div>

Legend:
Removed from v.432  
changed lines
  Added in v.469

  ViewVC Help
Powered by ViewVC 1.1.26