add .scrbl to liked extensions in drracket

This commit is contained in:
Robby Findler 2010-11-08 08:51:06 -06:00
parent c9b7c98525
commit e9c90dc580

View File

@ -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)))