From 3d38f95defa0457859e1c9ff7c5a266603d8906d Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 29 Oct 2009 16:01:40 +0000 Subject: [PATCH] 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 --- collects/scribble/base/lang/reader.ss | 3 +++ 1 file changed, 3 insertions(+) diff --git a/collects/scribble/base/lang/reader.ss b/collects/scribble/base/lang/reader.ss index 1cbdf6c0..9152de72 100644 --- 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")) +