diff options
Diffstat (limited to 'ide')
| -rw-r--r-- | ide/coqide.ml | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/ide/coqide.ml b/ide/coqide.ml index 598e31dd6..f44b8a5e3 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 -> |