changed the external browser default preference so that it doesn't crash drscheme on startup (in future releases, if more browsers come out)

svn: r17594
2010-01-10 15:07:52 +00:00 · 2010-01-10 15:07:52 +00:00 · 887aef7e76
commit 887aef7e76
parent 708d4c10d6
1 changed files with 4 additions and 1 deletions
--- a/collects/browser/external.ss
+++ b/collects/browser/external.ss
@ -20,7 +20,10 @@

  (fw:preferences:set-default
   'external-browser
-   (get-preference 'external-browser (lambda () #f))
+   (let ([ll-pref (get-preference 'external-browser (lambda () #f))])
+     (if (raw:browser-preference? ll-pref)
+         ll-pref
+         'firefox))
   raw:browser-preference?)

  (define http-proxy-preference 'plt:http-proxy)