/[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 507 by dpavlin, Sun Oct 10 18:56:24 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        <script src="js/cookies.js" type="text/javascript"></script>
15        <script type="text/javascript">
16    // <!--
17    var lang2index = {
18            'hr' : 'index/DescriptorHR',
19            'en' : 'index/DescriptorEN',
20            'fr' : 'index/DescriptorFR',
21            'ge' : 'index/DescriptorGE',
22            'all' : 'index/AllThes'
23    };
24    
25    // first then try cookie
26    var lang = get_cookie('w2_lang').toLowerCase();
27    var args = getArgs();
28    // get language from URL
29    if (args && args.lang) lang = args.lang;
30    // default, Hrvatski
31    if (! lang) lang = 'hr';
32    
33    var index_name = lang2index[lang];
34    
35    function change_lang(lang) {
36            set_cookie('w2_lang', lang);
37            return true;
38    }
39    
40    function select_option(value,text,selected) {
41            document.write('<option value="'+value+'"');
42            if (value == selected) document.write(' selected');
43            document.write('>'+text+'</option>');
44    }
45    // -->
46        </script>
47        <link rel="stylesheet" href="style.css" type="text/css" />
48    </head>    </head>
49    
50    <body>    <body>
51    
52    <div>
53    
54    <div style="float: right; width: 10em; text-align: center; margin: 0.5m">
55    <a href="#" onclick="javascript:toggle_display('debug');">debug</a>
56     <div style="text-align: left; border: 1px dashed #c0c0c0; display: none;" id="debug">
57     </div>
58    </div>
59    
60  <span style="background: #e0e0e0;">  <span style="background: #e0e0e0;">
61      <a href="search.html"><b>search</b></a> |      <a href="search.html"><b>search</b></a> |
62      <a href="thesaurus.html">thesarus</a> |      <a href="thesaurus.html">thesarus</a> |
63      <a href="browse.html">browse</a>      <a href="browse.html">browse</a>
64  </span>  </span>
65    
66      <script type="text/javascript">  <div>
67        var args=getArgs();  
68        function select_option(value,text,selected) {      <form id="search" onsubmit="return go(this);" action="?">
69          document.write('<option value="'+value+'"');       <div>
         if (value == selected) document.write(' selected');  
         document.write('>'+text+'</option>');  
       }  
     </script>  
       
     <form name="search" onsubmit="return go(this);">  
70        <script type="text/javascript">        <script type="text/javascript">
71          document.write('<select name="index_name">');        // <!--
72          select_option("index/DescriptorHR","Hrvatski",args.index_name);          document.write('<select name="lang" onChange="change_lang(this.options[this.selectedIndex].value);">');
73          select_option("index/DescriptorEN","Engleski",args.index_name);          select_option("hr","Hrvatski",lang);
74          select_option("index/DescriptorFR","Francuski",args.index_name);          select_option("en","Engleski",lang);
75          select_option("index/DescriptorGE","Njemački",args.index_name);          select_option("fr","Francuski",lang);
76          select_option("index/AllThes","Sve riječi",args.index_name);          select_option("ge","Njemački",lang);
77            select_option("all","Sve riječi",lang);
78          document.write('</select>');          document.write('</select>');
79        </script>  
       <script type="text/javascript">  
80          document.write("<input name=\"query\" value=\"");          document.write("<input name=\"query\" value=\"");
81    
82          if (args.query) {          if (args.query) {
# Line 47  Line 85 
85          }          }
86    
87          document.write("\" type=\"text\" size=\"30\"/>\n");          document.write("\" type=\"text\" size=\"30\"/>\n");
88          // -->
89        </script>        </script>
90    
91        <input type="SUBMIT" value="Pretraži"/><br/>        <input type="submit" value="Pretraži"/><br/>
92         </div>
93      </form>      </form>
94    
95      <script type="text/javascript">      <script type="text/javascript">
96        // <!--
97        if (args.query) {        if (args.query) {
98          document.write("<div id=\"results\"><h2>Please wait...</h2></div>\n");          document.write("<div id=\"results\"><h2>Please wait...</h2></div>\n");
99          doSearch(args.index_name, args.query, printResults);          doSearch(index_name, args.query, printResults);
100        }              }      
101        // -->
102      </script>      </script>
103    
104    </div>
105    
106    </div>
107    
108    </body>    </body>
109  </html>  </html>

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

  ViewVC Help
Powered by ViewVC 1.1.26