-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On Samstag, 7. März 2009 00:47:30 John Mandereau wrote: > > If JavaScript is disabled (so that AJAX won't work, either) or the files > > are viewed as static files on your harddisk (i.e. not over http, so > > the AJAX call would fail for sure), no search box is shown. > > It's certainly possible to enable the search for local docs by replacing > AJAX calls with loading files locally.
No, it's not that easy: You can't open a local file with JavaScript, so there is no easy way to search through the search index... The only workaround would be to create an iframe with JavaScript, where the whole search index is loaded in memory, and then use JavaScript to search through the text of that iframe... This has the big drawback that the whole search index is always loaded in memory for each page (while in fact we'd only need to go through it line-by-line). Cheers, Reinhold - -- - ------------------------------------------------------------------ Reinhold Kainhofer, [email protected], http://reinhold.kainhofer.com/ * Financial & Actuarial Math., Vienna Univ. of Technology, Austria * http://www.fam.tuwien.ac.at/, DVR: 0005886 * LilyPond, Music typesetting, http://www.lilypond.org -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) iD8DBQFJspXsTqjEwhXvPN0RAl46AJ4wtRrIgTI7+EA8e+ror0z0xHpP9QCfRcMR f0NbiE7DSyqi3Y7TY3la/ds= =rMlG -----END PGP SIGNATURE----- _______________________________________________ lilypond-devel mailing list [email protected] http://lists.gnu.org/mailman/listinfo/lilypond-devel
