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: