From 09819511aa5f81e7fd82d73f0450741fc0b13b3a Mon Sep 17 00:00:00 2001 From: Ryan Culpepper Date: Thu, 23 Aug 2007 22:07:00 +0000 Subject: [PATCH] Added tool manager to DrScheme (preferences panel) More information available via setup/getinfo.ss Changed help desk to show more info for package docs svn: r7155 original commit: cdd9c7d0ce4b142ac7e74ff575a484defaa66a0f --- collects/help/private/search.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/help/private/search.ss b/collects/help/private/search.ss index 5ef5af16..8dcf76c6 100644 --- a/collects/help/private/search.ss +++ b/collects/help/private/search.ss @@ -68,7 +68,7 @@ (set! doc-names (append std-doc-names - (map (lambda (s) (format "the ~a collection" s)) + (map (lambda (s) (format "the ~a" s)) txt-doc-names))) (set! doc-kinds (append (map (lambda (x) 'html) std-docs) (map (lambda (x) 'text) txt-docs)))