/[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

Contents of /trunk2/out/thesaurus.html

Parent Directory Parent Directory | Revision Log Revision Log


Revision 470 - (show annotations)
Fri Sep 24 20:31:11 2004 UTC (15 years, 9 months ago) by dpavlin
File MIME type: text/html
File size: 2780 byte(s)
open detail data in new window (popup)

1 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
2 <html>
3 <head>
4 <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-2"/>
5 <script type="text/javascript" src="bfilter/bfilter.js"></script>
6 <script type="text/javascript" src="js/popup.js"></script>
7 <script type="text/javascript" src="bfilter/DescriptorHR.js"></script>
8 <script type="text/javascript">
9
10 function myfilter() {
11 // self.document.getElementById('textfilter').focus();
12 // self.document.getElementById('textfilter').caretPos=1;
13 // self.document.getElementById('textfilter').select();
14 self.document.myfilter = new BFilter(headlines);
15
16 self.document.myfilter.result = function (arr) {
17 var r = element_id('results');
18 if (r) {
19 var e = self.document.createElement("a");
20 e.setAttribute("href","browse.html?o="+arr[1]+"#mfn"+arr[1]);
21 e.appendChild(self.document.createTextNode(arr[0]));
22 r.appendChild(e);
23
24 r.appendChild(self.document.createTextNode(" "));
25
26 e = self.document.createElement("a");
27 e.setAttribute("href","thes/"+arr[1]+".html");
28 e.setAttribute("target","popup");
29 e.onclick = function() { return popup(e) };
30 e.appendChild(self.document.createTextNode("\u00bb"));
31 r.appendChild(e);
32
33 r.appendChild(self.document.createElement("br"));
34
35 } else {
36 alert("can't find results div!");
37 }
38 /*
39 return '<li><a href="thes/'+arr[1]+'.html">'+arr[0]+'</a>'+
40 '&nbsp;<a href="browse.html?o='+arr[1]+'">&curren;</a>' +
41 '</li>';
42 */
43 return null;
44 }
45
46 // this function is called when updating innerHTML with results
47 self.document.myfilter.display = function (html) {
48 return null;
49 // return '<ul>'+html+'</ul>';
50 }
51 }
52
53 </script>
54 <script type="text/javascript" src="bfilter/hide.js"></script>
55 <link rel="stylesheet" href="style.css" type="text/css">
56 <title>Thesaurus</title>
57 </head>
58
59 <body onload="myfilter(); ">
60
61 <div style="float: right; width: 10em; text-align: center; margin: 0.5m">
62 <a href="#" onClick="toggle_display('debug');">debug</a>
63
64 <div style="text-align: left; border: 1px dashed #c0c0c0; display: none;" id="debug">
65 </div>
66
67 </div>
68
69 <span style="background: #e0e0e0;">
70 <a href="search.html">search</a> |
71 <a href="thesaurus.html"><b>thesarus</b></a> |
72 <a href="browse.html">browse</a>
73 </span>
74
75 <form method="get" onSubmit="return false;">
76 <div class="filters">
77 <input autocomplete="off" class="filters" id="textfilter" title="enter a regular expression to filter by" onKeyUp="self.document.myfilter.filter(this.value);">
78 <!-- this button is strictly for looks -->
79 <input class="filters" value="filter" type="button">
80 </div>
81 </form>
82
83 <div id="status" style="font-size: 80%; color: gray;">
84 <!--
85 Enter few letters to filter by them
86 -->
87 </div>
88
89 <div id="results">
90 </div>
91
92 </body>
93

  ViewVC Help
Powered by ViewVC 1.1.26