point to a scribble indentation function

This commit is contained in:
Robby Findler 2015-04-17 10:11:01 -05:00
parent 68b3371418
commit 5e02c55dd9
2 changed files with 6 additions and 2 deletions

View File

@ -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)]))))))

View File

@ -28,6 +28,8 @@
(dynamic-require 'syntax-color/scribble-lexer 'scribble-inside-lexer)]
[(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: