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"> |
<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"> |
<div style="float: right; width: 10em; text-align: center; margin: 0.5m"> |
55 |
<a href="#" onClick="toggle_display('debug');">debug</a> |
<a href="#" onclick="toggle_display('debug');">debug</a> |
56 |
<div style="text-align: left; border: 1px dashed #c0c0c0; display: none;" id="debug"> |
<div style="text-align: left; border: 1px dashed #c0c0c0; display: none;" id="debug"> |
57 |
</div> |
</div> |
58 |
</div> |
</div> |
65 |
|
|
66 |
<div> |
<div> |
67 |
|
|
68 |
<script type="text/javascript"> |
<form id="search" onsubmit="return go(this);" action="?"> |
69 |
var args=getArgs(); |
<div> |
|
function select_option(value,text,selected) { |
|
|
document.write('<option value="'+value+'"'); |
|
|
if (value == selected) document.write(' selected'); |
|
|
document.write('>'+text+'</option>'); |
|
|
} |
|
|
</script> |
|
|
|
|
|
<form id="search" onsubmit="return go(this);"> |
|
70 |
<script type="text/javascript"> |
<script type="text/javascript"> |
71 |
document.write('<select name="index_name">'); |
// <!-- |
72 |
var index = 'index/DescriptorHR'; |
document.write('<select name="lang" onChange="change_lang(this.options[this.selectedIndex].value);">'); |
73 |
if (args && args.index_name) index = args.index_name; |
select_option("hr","Hrvatski",lang); |
74 |
select_option("index/DescriptorHR","Hrvatski",index); |
select_option("en","Engleski",lang); |
75 |
select_option("index/DescriptorEN","Engleski",index); |
select_option("fr","Francuski",lang); |
76 |
select_option("index/DescriptorFR","Francuski",index); |
select_option("ge","Njemački",lang); |
77 |
select_option("index/DescriptorGE","Njemački",index); |
select_option("all","Sve riječi",lang); |
|
select_option("index/AllThes","Sve riječi",index); |
|
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) { |
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(index, args.query, printResults); |
doSearch(index_name, args.query, printResults); |
100 |
} |
} |
101 |
|
// --> |
102 |
</script> |
</script> |
103 |
|
|
104 |
</div> |
</div> |
105 |
|
|
106 |
|
</div> |
107 |
|
|
108 |
</body> |
</body> |
109 |
</html> |
</html> |