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
This commit is contained in:
parent
a48fad35f4
commit
09819511aa
|
@ -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)))
|
||||
|
||||
|
|
Loading…
Reference in New Issue
Block a user