From 41d824ef5d7a9b82c7324677b88aa46f97d304ed Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Sun, 13 Dec 2009 03:34:01 +0000 Subject: [PATCH] Add toolbar buttons for `scribble/doc' and `scribble/manual'. Signed-Off-By: robby svn: r17282 original commit: f170b1529f2009d10c1b481e7254117c7947792c --- collects/scribble/doc/lang/reader.ss | 2 ++ collects/scribble/manual/lang/reader.ss | 2 ++ 2 files changed, 4 insertions(+) diff --git a/collects/scribble/doc/lang/reader.ss b/collects/scribble/doc/lang/reader.ss index f00fec49..8d082a9b 100644 --- a/collects/scribble/doc/lang/reader.ss +++ b/collects/scribble/doc/lang/reader.ss @@ -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]))) diff --git a/collects/scribble/manual/lang/reader.ss b/collects/scribble/manual/lang/reader.ss index 4421f4cb..4a8dc4b5 100644 --- a/collects/scribble/manual/lang/reader.ss +++ b/collects/scribble/manual/lang/reader.ss @@ -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"))