use drracket:default-filters and drracket:default-extension in datalog

2014-05-26 19:37:47 -05:00 · 2014-05-26 19:37:47 -05:00 · 91e887300f
commit 91e887300f
parent e8bfd42d36
1 changed files with 2 additions and 0 deletions
--- 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)