From f8d375f6c3f0ccc85fd5e4c880637f98246968e2 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sun, 19 Apr 2015 07:23:36 -0500 Subject: [PATCH] use .scrbl as the default extension for scribble and at-exp files --- pkgs/at-exp-lib/at-exp/lang/reader.rkt | 1 + pkgs/at-exp-lib/scribble/base/reader.rkt | 1 + 2 files changed, 2 insertions(+) diff --git a/pkgs/at-exp-lib/at-exp/lang/reader.rkt b/pkgs/at-exp-lib/at-exp/lang/reader.rkt index 7fbb71698e..14285738e7 100644 --- a/pkgs/at-exp-lib/at-exp/lang/reader.rkt +++ b/pkgs/at-exp-lib/at-exp/lang/reader.rkt @@ -44,6 +44,7 @@ (try-dynamic-require 'syntax-color/scribble-lexer 'scribble-lexer)] [(definitions-text-surrogate) 'scribble/private/indentation] + [(drracket:default-extension) "scrbl"] [(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 2e3ad28608..3f5f848eac 100644 --- a/pkgs/at-exp-lib/scribble/base/reader.rkt +++ b/pkgs/at-exp-lib/scribble/base/reader.rkt @@ -30,6 +30,7 @@ 'scribble/private/indentation] [(drracket:indentation) (dynamic-require 'scribble/private/indentation 'determine-spaces)] + [(drracket:default-extension) "scrbl"] [else (default key defval)]))) ;; Settings that apply to Scribble-renderable docs: