diff --git a/pollen/private/reader-base.rkt b/pollen/private/reader-base.rkt index 5771f38..e359fab 100644 --- a/pollen/private/reader-base.rkt +++ b/pollen/private/reader-base.rkt @@ -88,6 +88,10 @@ (my-make-drracket-buttons my-command-char)])] [(drracket:indentation) (dynamic-require 'scribble/private/indentation 'determine-spaces)] + [(drracket:default-extension) + "pm"] + [(drracket:default-filters) + '(["Pollen Sources" "*.p;*.pp;*.pmd;*.pm;*.ptree"])] [else default])))) (define-syntax-rule (reader-module-begin mode expr-to-ignore ...)