From 709b5884106dc31249854386dd27b07b29fa296a Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Mon, 16 Nov 2009 10:19:29 +0000 Subject: [PATCH] moved drscheme-related tool into "tools" svn: r16804 --- collects/scribble/base/lang/reader.ss | 16 ++++++++-------- .../scribble/{ => tools}/drscheme-buttons.ss | 0 collects/scribble/{ => tools}/html.png | Bin collects/scribble/{ => tools}/pdf.png | Bin .../{ => tools}/private/mk-drs-bitmaps.ss | 0 5 files changed, 8 insertions(+), 8 deletions(-) rename collects/scribble/{ => tools}/drscheme-buttons.ss (100%) rename collects/scribble/{ => tools}/html.png (100%) rename collects/scribble/{ => tools}/pdf.png (100%) rename collects/scribble/{ => tools}/private/mk-drs-bitmaps.ss (100%) diff --git a/collects/scribble/base/lang/reader.ss b/collects/scribble/base/lang/reader.ss index 8f495a8eaf..7d7ebb20ba 100644 --- a/collects/scribble/base/lang/reader.ss +++ b/collects/scribble/base/lang/reader.ss @@ -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")) - diff --git a/collects/scribble/drscheme-buttons.ss b/collects/scribble/tools/drscheme-buttons.ss similarity index 100% rename from collects/scribble/drscheme-buttons.ss rename to collects/scribble/tools/drscheme-buttons.ss diff --git a/collects/scribble/html.png b/collects/scribble/tools/html.png similarity index 100% rename from collects/scribble/html.png rename to collects/scribble/tools/html.png diff --git a/collects/scribble/pdf.png b/collects/scribble/tools/pdf.png similarity index 100% rename from collects/scribble/pdf.png rename to collects/scribble/tools/pdf.png diff --git a/collects/scribble/private/mk-drs-bitmaps.ss b/collects/scribble/tools/private/mk-drs-bitmaps.ss similarity index 100% rename from collects/scribble/private/mk-drs-bitmaps.ss rename to collects/scribble/tools/private/mk-drs-bitmaps.ss