From 91e887300f72b8bd366030a429443fe51a4fba20 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Mon, 26 May 2014 19:37:47 -0500 Subject: [PATCH] use drracket:default-filters and drracket:default-extension in datalog --- pkgs/datalog/lang/reader.rkt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/pkgs/datalog/lang/reader.rkt b/pkgs/datalog/lang/reader.rkt index 0d8ed430e2..1821176116 100644 --- a/pkgs/datalog/lang/reader.rkt +++ b/pkgs/datalog/lang/reader.rkt @@ -8,6 +8,8 @@ #:info (lambda (key defval default) ; XXX Should have different comment character key (case key + [(drracket:default-filters) '(["Datalog Sources" "*.dl"])] + [(drracket:default-extension) "dl"] [(drracket:submit-predicate) (dynamic-require 'datalog/tool/submit 'repl-submit?)] [(color-lexer)