add .scrbl to liked extensions in drracket
original commit: e9c90dc580a4a49132dc7ec33b9380708888e954
This commit is contained in:
parent
5205ca7906
commit
570a0957a5
|
@ -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)))
|
||||
|
|
Loading…
Reference in New Issue
Block a user