From 3bd62c82afd582a18e225366a383989473b4cb4a Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Thu, 2 Jun 2016 15:24:06 -0700 Subject: [PATCH] use Scribble-style indentation in DrRacket (fixes #113) --- pollen/private/reader-base.rkt | 2 ++ pollen/private/ts.rktd | 2 +- 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/pollen/private/reader-base.rkt b/pollen/private/reader-base.rkt index 354f3be..c8a94d0 100644 --- a/pollen/private/reader-base.rkt +++ b/pollen/private/reader-base.rkt @@ -82,6 +82,8 @@ [(drracket:toolbar-buttons) (define my-make-drracket-buttons (dynamic-require 'pollen/private/drracket-buttons 'make-drracket-buttons)) (my-make-drracket-buttons my-command-char)])] + [(drracket:indentation) + (dynamic-require 'scribble/private/indentation 'determine-spaces)] [else default])))) (define-syntax-rule (reader-module-begin mode expr-to-ignore ...) diff --git a/pollen/private/ts.rktd b/pollen/private/ts.rktd index f3aebba..c53a19f 100644 --- a/pollen/private/ts.rktd +++ b/pollen/private/ts.rktd @@ -1 +1 @@ -1462486594 +1464906246