/[webpac]/trunk2/out/search.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/search.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 470 by dpavlin, Fri Sep 24 20:31:11 2004 UTC
# Line 1  Line 1 
1  <!DOCTYPE html PUBLIC  <!DOCTYPE html PUBLIC
2            "-//W3C//DTD XHTML 1.0 Strict//EN"            "-//W3C//DTD XHTML 1.0 Strict//EN"
3            "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">            "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
4  <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">  <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="hr" lang="hr">
5    <head>    <head>
6      <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-2"/>      <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-2"/>
7      <title>HIDRA Eurovoc CD</title>      <title>HIDRA Eurovoc CD</title>
8        <script src="bfilter/hide.js" type="text/javascript"></script>
9      <script src="js/l2_unescape.js" type="text/javascript"></script>      <script src="js/l2_unescape.js" type="text/javascript"></script>
10      <script src="js/getargs.js" type="text/javascript"></script>      <script src="js/getargs.js" type="text/javascript"></script>
11      <script src="js/search.js" type="text/javascript"></script>      <script src="js/search.js" type="text/javascript"></script>
12        <script src="js/popup.js" type="text/javascript"></script>
13      <script src="js/usage.js" type="text/javascript"></script>      <script src="js/usage.js" type="text/javascript"></script>
14        <link rel="stylesheet" href="style.css" type="text/css">
15    </head>    </head>
16    
17    <body>    <body>
18    
19    <div style="float: right; width: 10em; text-align: center; margin: 0.5m">
20    <a href="#" onClick="toggle_display('debug');">debug</a>
21     <div style="text-align: left; border: 1px dashed #c0c0c0; display: none;" id="debug">
22     </div>
23    </div>
24    
25  <span style="background: #e0e0e0;">  <span style="background: #e0e0e0;">
26      <a href="search.html"><b>search</b></a> |      <a href="search.html"><b>search</b></a> |
27      <a href="thesaurus.html">thesarus</a> |      <a href="thesaurus.html">thesarus</a> |
28      <a href="browse.html">browse</a>      <a href="browse.html">browse</a>
29  </span>  </span>
30    
31    <div>
32    
33      <script type="text/javascript">      <script type="text/javascript">
34        var args=getArgs();        var args=getArgs();
35        function select_option(value,text,selected) {        function select_option(value,text,selected) {
# Line 28  Line 39 
39        }        }
40      </script>      </script>
41            
42      <form name="search" onsubmit="return go(this);">      <form id="search" onsubmit="return go(this);">
43        <script type="text/javascript">        <script type="text/javascript">
44          document.write('<select name="index_name">');          document.write('<select name="index_name">');
45          select_option("index/DescriptorHR","Hrvatski",args.index_name);          var index = 'index/DescriptorHR';
46          select_option("index/DescriptorEN","Engleski",args.index_name);          if (args && args.index_name) index = args.index_name;
47          select_option("index/DescriptorFR","Francuski",args.index_name);          select_option("index/DescriptorHR","Hrvatski",index);
48          select_option("index/DescriptorGE","Njemački",args.index_name);          select_option("index/DescriptorEN","Engleski",index);
49          select_option("index/AllThes","Sve riječi",args.index_name);          select_option("index/DescriptorFR","Francuski",index);
50            select_option("index/DescriptorGE","Njemački",index);
51            select_option("index/AllThes","Sve riječi",index);
52          document.write('</select>');          document.write('</select>');
53        </script>        </script>
54        <script type="text/javascript">        <script type="text/javascript">
# Line 56  Line 69 
69    
70        if (args.query) {        if (args.query) {
71          document.write("<div id=\"results\"><h2>Please wait...</h2></div>\n");          document.write("<div id=\"results\"><h2>Please wait...</h2></div>\n");
72          doSearch(args.index_name, args.query, printResults);          doSearch(index, args.query, printResults);
73        }              }      
74    
75      </script>      </script>
76    
77    </div>
78    
79    </body>    </body>
80  </html>  </html>
Legend:
Removed from v.432  
changed lines
  Added in v.470
  ViewVC Help
Powered by ViewVC 1.1.26