From 79469612423b72e29a42e19191783ff2a51adb06 Mon Sep 17 00:00:00 2001 From: Alexis King Date: Fri, 15 Dec 2017 09:21:37 -0800 Subject: [PATCH] =?UTF-8?q?Extend=20#lang=20pollen=E2=80=99s=20get-info=20?= =?UTF-8?q?function=20to=20communicate=20file=20extensions?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- pollen/private/reader-base.rkt | 4 ++++ 1 file changed, 4 insertions(+) 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 ...)