8 |
<script src="js/getargs.js" type="text/javascript"></script> |
<script src="js/getargs.js" type="text/javascript"></script> |
9 |
<script src="js/search.js" type="text/javascript"></script> |
<script src="js/search.js" type="text/javascript"></script> |
10 |
<script src="js/usage.js" type="text/javascript"></script> |
<script src="js/usage.js" type="text/javascript"></script> |
|
</head> |
|
|
|
|
|
<body> |
|
|
<div> |
|
|
<h1>Example Search with jsFind</h1> |
|
|
|
|
11 |
<script type="text/javascript"> |
<script type="text/javascript"> |
12 |
// <!-- |
//<![CDATA[ |
13 |
var args=getArgs(); |
var args=getArgs(); |
14 |
function select_option(value,text,selected) { |
function select_option(value,text,selected) { |
15 |
document.write('<option value="'+value+'"'); |
document.write('<option value="'+value+'"'); |
16 |
if (value == selected) document.write(' selected'); |
if (value == selected) document.write(' selected'); |
17 |
document.write('>'+text+'</option>'); |
document.write('>'+text+'</option>'); |
18 |
} |
} |
19 |
|
function search_on_load() { |
20 |
|
if (args.query) { |
21 |
|
doSearch(args.index_name, args.query, printResults); |
22 |
|
} |
23 |
|
|
24 |
|
} |
25 |
|
//]]> |
26 |
|
</script> |
27 |
|
</head> |
28 |
|
|
29 |
|
<body onLoad="search_on_load();"> |
30 |
|
<div> |
31 |
|
<h1>Example Search with jsFind</h1> |
32 |
|
|
33 |
|
<script type="text/javascript"> |
34 |
|
// <!-- |
35 |
// --> |
// --> |
36 |
</script> |
</script> |
37 |
|
|
65 |
</div> |
</div> |
66 |
</form> |
</form> |
67 |
|
|
68 |
<script type="text/javascript"> |
<div id="results"> </div> |
|
// <!-- |
|
|
if (args.query) { |
|
|
document.write("<div id=\"results\"><h2>Please wait...</h2></div>\n"); |
|
|
doSearch(args.index_name, args.query, printResults); |
|
|
} |
|
|
// --> |
|
|
</script> |
|
69 |
|
|
70 |
<div> |
<div> |
71 |
Enter your keywords to search for seperated by spaces.<br/>The |
Enter your keywords to search for seperated by spaces.<br/>The |