added support for changing toolbar buttons based on the #lang line (when in the module language) and use that support for #lang scribble/base

svn: r16449 original commit: be20c0747cb83b446b5f5398aed0585d82bb2743
2009-10-29 16:01:40 +00:00 · 2009-10-29 16:01:40 +00:00 · 3d38f95def
commit 3d38f95def
parent 61f2dd09fd
1 changed files with 3 additions and 0 deletions
--- a/collects/scribble/base/lang/reader.ss
+++ b/collects/scribble/base/lang/reader.ss
@ -10,6 +10,9 @@ scribble/base/lang
         (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)]))

 (require (prefix-in scribble: "../../reader.ss"))
+