interface GTK2 experimentale

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3660 85f007b7-540e-0410-9357-904b9bb8a0f7

3 files changed, 15 insertions, 15 deletions

diff --git a/lib/pp.ml4 b/lib/pp.ml4
index 2d4c76d91..d13044c9a 100644
--- a/lib/pp.ml4
+++ b/lib/pp.ml4
@@ -169,7 +169,7 @@ let pp_dirs ft =
 
 (* pretty print on stdout and stderr *)
 
-let pp_std_dirs = pp_dirs std_ft
+let pp_std_dirs = pp_dirs !std_ft
 let pp_err_dirs = pp_dirs err_ft
 
 let ppcmds x = Ppdir_ppcmds x
@@ -204,19 +204,19 @@ let msg_warning_with ft strm=
 
 
 (* pretty printing functions WITHOUT FLUSH *)
-let pp        = pp_with std_ft
-let ppnl      = ppnl_with std_ft
+let pp        x = pp_with !std_ft x
+let ppnl      x = ppnl_with !std_ft x
 let pperr     = pp_with err_ft
 let pperrnl   = ppnl_with err_ft
 let message s = ppnl (str s)
-let warning   = warning_with std_ft
-let warn      = warn_with std_ft
-let pp_flush  = Format.pp_print_flush std_ft
+let warning   x = warning_with !std_ft x
+let warn      x = warn_with !std_ft x
+let pp_flush  x = Format.pp_print_flush !std_ft x
 let flush_all() = flush stderr; flush stdout; pp_flush()
 
 (* pretty printing functions WITH FLUSH *)
-let msg = msg_with std_ft
-let msgnl = msgnl_with std_ft
+let msg x = msg_with !std_ft x
+let msgnl x = msgnl_with !std_ft x
 let msgerr = msg_with err_ft
 let msgerrnl = msgnl_with err_ft
-let msg_warning = msg_warning_with std_ft
+let msg_warning x = msg_warning_with !std_ft x
diff --git a/lib/pp_control.ml b/lib/pp_control.ml
index 78b78020d..3b1266c2c 100644
--- a/lib/pp_control.ml
+++ b/lib/pp_control.ml
@@ -86,8 +86,8 @@ let with_output_to ch =
   set_gp ft deep_gp; 
   ft
 
-let std_ft = Format.std_formatter
-let _ = set_dflt_gp std_ft
+let std_ft = ref Format.std_formatter
+let _ = set_dflt_gp !std_ft
 
 let err_ft = with_output_to stderr
 
@@ -95,8 +95,8 @@ let deep_ft = with_output_to stdout
 let _ = set_gp deep_ft deep_gp
 
 (* For parametrization through vernacular *)
-let default = Format.pp_get_max_boxes std_ft ()
-let get_depth_boxes () = Some (Format.pp_get_max_boxes std_ft ())
+let default = Format.pp_get_max_boxes !std_ft ()
+let get_depth_boxes () = Some (Format.pp_get_max_boxes !std_ft ())
 let set_depth_boxes v =
-  Format.pp_set_max_boxes std_ft (match v with None -> default | Some v -> v)
+  Format.pp_set_max_boxes !std_ft (match v with None -> default | Some v -> v)
 
diff --git a/lib/pp_control.mli b/lib/pp_control.mli
index 548b98a7f..256cc26de 100644
--- a/lib/pp_control.mli
+++ b/lib/pp_control.mli
@@ -36,7 +36,7 @@ val err_fp : (int*string) pp_formatter_params
 val with_fp : 'a pp_formatter_params -> Format.formatter
 val with_output_to : out_channel -> Format.formatter
 
-val std_ft : Format.formatter
+val std_ft : Format.formatter ref
 val err_ft : Format.formatter
 val deep_ft : Format.formatter