From 175881e5a57cbcda9f9258db8d9eb217f85a93c6 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sun, 4 Jan 2009 23:15:50 +0000 Subject: [PATCH] change 'help' to open the main doc page instead of the docs for 'help' itself svn: r13004 original commit: 821a82195e6947a96a97df0f7928e0ba0f799247 --- collects/help/search.ss | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/collects/help/search.ss b/collects/help/search.ss index c7e15cbf..b83c3c3d 100644 --- a/collects/help/search.ss +++ b/collects/help/search.ss @@ -9,9 +9,11 @@ ;; using javascript. (define (send-main-page #:sub [sub "index.html"] - #:fragment [fragment #f] #:query [query #f]) + #:fragment [fragment #f] #:query [query #f] + #:notify [notify void]) (let* ([path (build-path (find-user-doc-dir) sub)] [path (if (file-exists? path) path (build-path (find-doc-dir) sub))]) + (notify path) (send-url/file path #:fragment fragment #:query query))) ;; This is an example of changing this code to use the online manuals.