Add toolbar buttons for scribble/doc' and
scribble/manual'.
Signed-Off-By: robby svn: r17282
This commit is contained in:
parent
e7e34f304c
commit
f170b1529f
|
@ -8,4 +8,6 @@
|
|||
(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 defval])))
|
||||
|
|
|
@ -10,6 +10,8 @@ scribble/manual/lang
|
|||
(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"))
|
||||
|
|
Loading…
Reference in New Issue
Block a user