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"> |
<link rel="stylesheet" href="style.css" type="text/css"> |
15 |
</head> |
</head> |
42 |
<form id="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"> |
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> |