From da84cdafe0ef6d82d27fbbcc87f7a78b210d5b97 Mon Sep 17 00:00:00 2001
From: glondu
Date: Mon, 28 Jul 2008 00:25:28 +0000
Subject: Show configure choice for browser in CoqIDE preferences

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11275 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/preferences.ml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/ide/preferences.ml b/ide/preferences.ml
index 253c567881..aa9938eb30 100644
--- a/ide/preferences.ml
+++ b/ide/preferences.ml
@@ -507,12 +507,11 @@ let configure ?(apply=(fun () -> ())) () =
   in    
   let cmd_browse =
     let predefined = [
+      Coq_config.browser;
       "netscape -remote \"openURL(%s)\"";
       "mozilla -remote \"openURL(%s)\"";
-      "firefox -remote \"openURL(%s,new-tab)\" || firefox %s &";
       "firefox -remote \"openURL(%s,new-windows)\" || firefox %s &";
       "seamonkey -remote \"openURL(%s)\" || seamonkey %s &";
-      "C:\\PROGRA~1\\INTERN~1\\IEXPLORE %s";
       "open -a Safari %s &"
     ] in
     combo 
@@ -585,4 +584,3 @@ let configure ?(apply=(fun () -> ())) () =
   match x with 
     | Return_apply | Return_ok -> save_pref ()
     | Return_cancel -> ()
-
-- 
cgit v1.2.3