fix searching a different way, which more likely matches the intent

svn: r10899
This commit is contained in:
Matthew Flatt 2008-07-24 11:41:21 +00:00
parent 9c8cad4197
commit 78c5220836
2 changed files with 3 additions and 3 deletions

View File

@ -770,8 +770,8 @@
[style (if (with-attributes? raw-style)
(with-attributes-style raw-style)
raw-style)])
(if (and (pair? style) (eq? (car style) 'div))
`((div-hack ,(cdr style) ,@contents))
(if (and (pair? style) (eq? (car style) 'div-hack))
`((div ,(cdr style) ,@contents))
`((,(if (string? style) 'div 'p)
,(append
(if (string? style)

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 [id "plt_search_container"])))))
(make-styled-paragraph '() '(div-hack [id "plt_search_container"])))))