From 570a0957a58ce7ea4e1f48cf6153f2334faf7ade Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Mon, 8 Nov 2010 08:51:06 -0600 Subject: [PATCH] add .scrbl to liked extensions in drracket original commit: e9c90dc580a4a49132dc7ec33b9380708888e954 --- collects/framework/private/scheme.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/framework/private/scheme.rkt b/collects/framework/private/scheme.rkt index 5d46dc65..e9da20f0 100644 --- a/collects/framework/private/scheme.rkt +++ b/collects/framework/private/scheme.rkt @@ -1220,7 +1220,7 @@ (define/override (put-file text sup directory default-name) (parameterize ([finder:default-extension "rkt"] - [finder:default-filters '(["Racket Sources" "*.rkt;*.ss;*.scm"] + [finder:default-filters '(["Racket Sources" "*.rkt;*.scrbl;*.ss;*.scm"] ["Any" "*.*"])]) ;; don't call the surrogate's super, since it sets the default extension (sup directory default-name)))