From 5e02c55dd92e0d7dc68e4f9261f5f0d2bc3dcf10 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Fri, 17 Apr 2015 10:11:01 -0500 Subject: [PATCH] point to a scribble indentation function --- pkgs/at-exp-lib/at-exp/lang/reader.rkt | 2 ++ pkgs/at-exp-lib/scribble/base/reader.rkt | 6 ++++-- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/pkgs/at-exp-lib/at-exp/lang/reader.rkt b/pkgs/at-exp-lib/at-exp/lang/reader.rkt index 7fbd16ac4b..7fbb71698e 100644 --- a/pkgs/at-exp-lib/at-exp/lang/reader.rkt +++ b/pkgs/at-exp-lib/at-exp/lang/reader.rkt @@ -44,4 +44,6 @@ (try-dynamic-require 'syntax-color/scribble-lexer 'scribble-lexer)] [(definitions-text-surrogate) 'scribble/private/indentation] + [(drracket:indentation) + (dynamic-require 'scribble/private/indentation 'determine-spaces)] [else (fallback)])))))) diff --git a/pkgs/at-exp-lib/scribble/base/reader.rkt b/pkgs/at-exp-lib/scribble/base/reader.rkt index 646b3a6a10..2e3ad28608 100644 --- a/pkgs/at-exp-lib/scribble/base/reader.rkt +++ b/pkgs/at-exp-lib/scribble/base/reader.rkt @@ -26,8 +26,10 @@ (case key [(color-lexer) (dynamic-require 'syntax-color/scribble-lexer 'scribble-inside-lexer)] - [(definitions-text-surrogate) - 'scribble/private/indentation] + [(definitions-text-surrogate) + 'scribble/private/indentation] + [(drracket:indentation) + (dynamic-require 'scribble/private/indentation 'determine-spaces)] [else (default key defval)]))) ;; Settings that apply to Scribble-renderable docs: