From 12fb39f5bd473af62dd9d1ae03a066f047ea11fd Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Mon, 13 Sep 2010 10:29:03 -0600 Subject: [PATCH] Adding PLAI keywords to default indent --- collects/framework/private/main.rkt | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/collects/framework/private/main.rkt b/collects/framework/private/main.rkt index b70d6f85aa..ab94bf35b9 100644 --- a/collects/framework/private/main.rkt +++ b/collects/framework/private/main.rkt @@ -208,7 +208,10 @@ (let ([hash-table (make-hasheq)]) (for-each (λ (x) (hash-set! hash-table x 'define)) - '(struct local)) + '(struct + local + + define-type)) (for-each (λ (x) (hash-set! hash-table x 'begin)) '(case-lambda @@ -264,6 +267,8 @@ with-output-to-file with-output-to-port for-all + + type-case )) (preferences:set-default 'framework:tabify