made f1 work in drscheme, fixed a few other bugs

svn: r7781 original commit: 1f81a98987e353686d7500d7ce7f5ff813147617
2007-11-20 04:52:45 +00:00 · 2007-11-20 04:52:45 +00:00 · 94cda256e8
commit 94cda256e8
parent 85a7fb296d
1 changed files with 4 additions and 2 deletions
--- a/collects/help/private/search.ss
+++ b/collects/help/private/search.ss
@ -7,9 +7,11 @@
         scribble/basic
         scribble/manual
         (prefix-in scheme: scribble/scheme)
-         browser/external)
+         browser/external
+         mzlib/contract)

-(provide generate-search-results)
+(provide/contract
+ [generate-search-results (-> (listof string?) void?)])

 (define (make-extra-content desc)
  ;; Use `desc' to provide more details on the link: