From 06f31954d5b894960f517ad6de146d2098a3f128 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 24 Jan 2017 15:17:14 -0600 Subject: [PATCH] missed a place to stop trying to use the (now non-existent) scribble definitions-text-surrogate --- pkgs/at-exp-lib/scribble/base/reader.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/at-exp-lib/scribble/base/reader.rkt b/pkgs/at-exp-lib/scribble/base/reader.rkt index 3f5f848eac..8ac6ed6a6a 100644 --- a/pkgs/at-exp-lib/scribble/base/reader.rkt +++ b/pkgs/at-exp-lib/scribble/base/reader.rkt @@ -26,10 +26,10 @@ (case key [(color-lexer) (dynamic-require 'syntax-color/scribble-lexer 'scribble-inside-lexer)] - [(definitions-text-surrogate) - 'scribble/private/indentation] [(drracket:indentation) (dynamic-require 'scribble/private/indentation 'determine-spaces)] + [(drracket:keystrokes) + (dynamic-require 'scribble/private/indentation 'keystrokes)] [(drracket:default-extension) "scrbl"] [else (default key defval)])))