/[jsFind]/trunk/html/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 /trunk/html/search.html

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1 by dpavlin, Sun Jul 11 20:18:25 2004 UTC revision 4 by dpavlin, Tue Jul 20 17:08:06 2004 UTC
# Line 16  Line 16 
16    
17      <script type="text/javascript">      <script type="text/javascript">
18        var args=getArgs();        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>      </script>
25            
26      <form name="search" onsubmit="return go(this);">      <form name="search" onsubmit="return go(this);">
27        <font color="maroon"><b>Query:</b></font>&nbsp;        <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">        <script type="text/javascript">
36          document.write("<input name=\"query\" value=\"");          document.write("<input name=\"query\" value=\"");
37    
38          if(args.search)          if(args.query)
39          {          {
40            var search_string = args.search.replace(/\+/gi," ");            var search_string = args.query.replace(/\+/gi," ");
41            document.write(search_string);            document.write(search_string);
42          }          }
43    
# Line 37  Line 49 
49    
50      <script type="text/javascript">      <script type="text/javascript">
51    
52        if (args.search)        if (args.query)
53        {        {
54          document.write("<div id=\"results\"><h2>Please wait...</h2></div>\n");          document.write("<div id=\"results\"><h2>Please wait...</h2></div>\n");
55          doSearch(args.search, printResults);          doSearch(args.index_name, args.query, printResults);
56        }              }      
57    
58      </script>      </script>
Legend:
Removed from v.1  
changed lines
  Added in v.4
  ViewVC Help
Powered by ViewVC 1.1.26