From f657facaf4fc5c6193acbabd75ef8aaae4674fe7 Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Wed, 23 May 2012 12:46:11 +0000
Subject: Reducing CoqIDE start option queries.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15344 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/coqide.ml | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/ide/coqide.ml b/ide/coqide.ml
index 598e31dd69..f44b8a5e3a 100644
--- a/ide/coqide.ml
+++ b/ide/coqide.ml
@@ -1241,8 +1241,11 @@ let create_session file =
   let _ =
     GtkBase.Widget.add_events proof#as_widget [`ENTER_NOTIFY;`POINTER_MOTION] in
   let () =
-    Coq.grab ct (fun handle ->
-    List.iter (fun (opts,_,_,_,dflt) -> setopts handle opts dflt) print_items) in
+    let fold accu (opts, _, _, _, dflt) =
+      List.fold_left (fun accu opt -> (opt, dflt) :: accu) accu opts
+    in
+    let options = List.fold_left fold [] print_items in
+    Coq.grab ct (fun handle -> Coq.PrintOpt.set handle options) in
   let _ =
     proof#event#connect#motion_notify ~callback:
       (fun e ->
-- 
cgit v1.2.3