trunk/html/search.html

<!DOCTYPE html PUBLIC
          "-//W3C//DTD XHTML 1.0 Strict//EN"
          "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1"/>
    <title>jsFind Example</title>
    <script src="js/getargs.js" type="text/javascript"></script>
    <script src="js/search.js" type="text/javascript"></script>
    <script src="js/usage.js" type="text/javascript"></script>
  </head>

  <body>

    <h1>Example Search with jsFind</h3>

    <script type="text/javascript">
      var args=getArgs();
      function select_option(value,text,selected) {
        document.write('<option value="'+value+'"');
        if (value == selected) document.write(' selected');
        document.write('>'+text+'</option>');
      }
    </script>
    
    <form name="search" onsubmit="return go(this);">
      <font color="maroon">Query</font>
      <script type="text/javascript">
        document.write('<select name="index_name">');
        select_option("lorem","Lorem example",args.index_name);
        select_option("words","Words from dict",args.index_name);
        document.write('</select>');
      </script>
      for
      <script type="text/javascript">
        document.write("<input name=\"query\" value=\"");

        if (args.query) {
          var search_string = args.query.replace(/\+/gi," ");
          document.write(search_string);
        }

        document.write("\" type=\"text\" size=\"60\"/>\n");
      </script>

      <input type="SUBMIT" value="Submit"/><br/>
    </form>

    <script type="text/javascript">

      if (args.query) {
        document.write("<div id=\"results\"><h2>Please wait...</h2></div>\n");
        doSearch(args.index_name, args.query, printResults);
      }      

    </script>

    <p>Enter your keywords to search for seperated by spaces.<br/>The
      results will be only those documents which contain <b>ALL</b> of the
      requested keywords</p>

    <div id="debug" style="color: gray;">
    </div>

  </body>
</html>
1	<!DOCTYPE html PUBLIC
2	"-//W3C//DTD XHTML 1.0 Strict//EN"
3	"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
4	<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
5	<head>
6	<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1"/>
7	<title>jsFind Example</title>
8	<script src="js/getargs.js" type="text/javascript"></script>
9	<script src="js/search.js" type="text/javascript"></script>
10	<script src="js/usage.js" type="text/javascript"></script>
11	</head>
12
13	<body>
14
15	<h1>Example Search with jsFind</h3>
16
17	<script type="text/javascript">
18	var args=getArgs();
19	function select_option(value,text,selected) {
20	document.write('<option value="'+value+'"');
21	if (value == selected) document.write(' selected');
22	document.write('>'+text+'</option>');
23	}
24	</script>
25
26	<form name="search" onsubmit="return go(this);">
27	<font color="maroon">Query</font>
28	<script type="text/javascript">
29	document.write('<select name="index_name">');
30	select_option("lorem","Lorem example",args.index_name);
31	select_option("words","Words from dict",args.index_name);
32	document.write('</select>');
33	</script>
34	for
35	<script type="text/javascript">
36	document.write("<input name=\"query\" value=\"");
37
38	if (args.query) {
39	var search_string = args.query.replace(/\+/gi," ");
40	document.write(search_string);
41	}
42
43	document.write("\" type=\"text\" size=\"60\"/>\n");
44	</script>
45
46	<input type="SUBMIT" value="Submit"/><br/>
47	</form>
48
49	<script type="text/javascript">
50
51	if (args.query) {
52	document.write("<div id=\"results\"><h2>Please wait...</h2></div>\n");
53	doSearch(args.index_name, args.query, printResults);
54	}
55
56	</script>
57
58	<p>Enter your keywords to search for seperated by spaces.<br/>The
59	results will be only those documents which contain <b>ALL</b> of the
60	requested keywords</p>
61
62	<div id="debug" style="color: gray;">
63	</div>
64
65	</body>
66	</html>