moved drscheme-related tool into "tools"

svn: r16804

original commit: 709b5884106dc31249854386dd27b07b29fa296a
This commit is contained in:
Eli Barzilay 2009-11-16 10:19:29 +00:00
parent cf6a961f79
commit 2bcbc98c4b

View File

@ -6,13 +6,13 @@ scribble/base/lang
#:read-syntax scribble:read-syntax-inside #:read-syntax scribble:read-syntax-inside
#:whole-body-readers? #t #:whole-body-readers? #t
#:wrapper1 (lambda (t) (list* 'doc 'values '() (t))) #:wrapper1 (lambda (t) (list* 'doc 'values '() (t)))
#:info (lambda (key defval default) #:info
(case key (lambda (key defval default)
[(color-lexer) (case key
(dynamic-require 'syntax-color/scribble-lexer 'scribble-inside-lexer)] [(color-lexer)
[(drscheme:toolbar-buttons) (dynamic-require 'syntax-color/scribble-lexer 'scribble-inside-lexer)]
(dynamic-require 'scribble/drscheme-buttons 'drscheme-buttons)] [(drscheme:toolbar-buttons)
[else (default key defval)])) (dynamic-require 'scribble/tools/drscheme-buttons 'drscheme-buttons)]
[else (default key defval)]))
(require (prefix-in scribble: "../../reader.ss")) (require (prefix-in scribble: "../../reader.ss"))