made the splash screen always be a dialog box

svn: r17810
2010-01-25 12:39:38 +00:00 · 2010-01-25 12:39:38 +00:00 · aee10699ae
commit aee10699ae
parent fee5ed923d
1 changed files with 5 additions and 13 deletions
--- a/collects/framework/splash.ss
+++ b/collects/framework/splash.ss
@ -280,19 +280,11 @@
 (define quit-on-close? #t)

 (define splash-tlw%
-  (case (system-type)
-    [(unix)
-     (class dialog%
-       (define/augment (on-close)
-         (when quit-on-close?
-           (exit)))
-       (super-new))]
-    [else
-     (class frame%
-       (define/augment (on-close)
-         (when quit-on-close?
-           (exit)))
-       (super-new [style '(no-resize-border)]))]))
+  (class dialog%
+    (define/augment (on-close)
+      (when quit-on-close?
+        (exit)))
+    (super-new)))

 (define splash-canvas%
  (class canvas%