moved drscheme-related tool into "tools"

svn: r16804
This commit is contained in:
Eli Barzilay 2009-11-16 10:19:29 +00:00
parent 4bbd4be2b4
commit 709b588410
5 changed files with 8 additions and 8 deletions

View File

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

View File

Before

Width:  |  Height:  |  Size: 908 B

After

Width:  |  Height:  |  Size: 908 B

View File

Before

Width:  |  Height:  |  Size: 858 B

After

Width:  |  Height:  |  Size: 858 B