From 48b0b5064737b3e6901f3663abf4f94ed1fd2c77 Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@barzilay.org>
Date: Thu, 10 May 2012 03:13:55 -0400
Subject: [PATCH] Minor improvement, and recognize a ".plt" suffix in any case.

---
 collects/drracket/private/main.rkt | 16 +++++++---------
 1 file changed, 7 insertions(+), 9 deletions(-)

diff --git a/collects/drracket/private/main.rkt b/collects/drracket/private/main.rkt
index bc9bb40f5d..a658de8cd8 100644
--- a/collects/drracket/private/main.rkt
+++ b/collects/drracket/private/main.rkt
@@ -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))