-) Add a search field to the toc pane in our docs. If the
user types three letters or more, an AJAX request is
sent to the server to perform a search. The AJAX part
is implemented in JS, the search part itself is
implemented in PHP on the server side, which wades
through a pre-generated index file (pure text).
-) The texi2html init file now has the ability to create
our own search index file, currently in pure text (the
search script will go through it line for line.
disabled or if the files are viewed as static pages
(and not over http), then no search box appears, since
it would not work anyway.
-) Also, don't show search box when AJAX initialization
-) Print nice message if search index can't be opened,
don't fail with error
-) Install and use language-dependent index files for all
-) If we don't have a texinfo index, don't load the JS and
don't print out the search box. (Workaround: css_lines
is called before init_out, so we need to do the check
already in css_lines!)
If the index would be empty, don't create an empty .idx
-) If AJAX works and a user presses enter, the same AJAX
query is triggered as when entering some letters, and
the results appear on the same page.
However, if for some reason AJAX does not work (in
particular, if the onSubmit action handler isn't
called), then a search page is loaded
with the same results as the AJAX query...