Minor improvement, and recognize a ".plt" suffix in any case.

This commit is contained in:
Eli Barzilay 2012-05-10 03:13:55 -04:00
parent 9401a537e0
commit 48b0b50647

View File

@ -406,17 +406,15 @@
drracket:unit:open-drscheme-window)
;; add a handler to open .plt files.
(handler:insert-format-handler
(handler:insert-format-handler
"PLT Files"
(λ (filename)
(let ([ext (filename-extension filename)])
(and ext
(or (bytes=? #"PLT" ext)
(bytes=? #"plt" ext))
(gui-utils:get-choice
(format (string-constant install-plt-file) filename)
(string-constant install-plt-file/yes)
(string-constant install-plt-file/no)))))
(and (regexp-match? #rx"^(?i:plt)$"
(or (filename-extension filename) #""))
(gui-utils:get-choice
(format (string-constant install-plt-file) filename)
(string-constant install-plt-file/yes)
(string-constant install-plt-file/no))))
(λ (filename)
(run-installer filename)
#f))