fix doc searching

svn: r10898
This commit is contained in:
Matthew Flatt 2008-07-24 11:37:35 +00:00
parent a073b04c3c
commit 9c8cad4197

View File

@ -188,4 +188,4 @@
(script-ref "search.js")
(make-render-element null null
(lambda (r s i) (make-script user-dir? r s i)))))
(make-styled-paragraph '() '(div-hack [id "plt_search_container"])))))
(make-styled-paragraph '() '(div [id "plt_search_container"])))))