diff options
| author |  glondu <glondu@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-07-28 00:25:28 +0000 |
|---|---|---|
| committer | glondu <glondu@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-07-28 00:25:28 +0000 |
| commit | da84cdafe0ef6d82d27fbbcc87f7a78b210d5b97 (patch) | |
| tree | 2be9bc5caf407edf8c521f013d03730718615122 /ide | |
| parent | a98a2b63cb78129e6e53c8d41f1f7dd37e64a221 (diff) | |
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
Diffstat (limited to 'ide')
| -rw-r--r-- | ide/preferences.ml | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/ide/preferences.ml b/ide/preferences.ml index 253c56788..aa9938eb3 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 -> () - |