From 8e13e6233ee4fc002f42290f1b7ae64a6e627162 Mon Sep 17 00:00:00 2001
From: gregoire
Date: Wed, 26 Mar 2003 14:02:21 +0000
Subject: Ajout de Set Print Width

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3790 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 lib/pp_control.ml  | 6 ++++++
 lib/pp_control.mli | 3 +++
 2 files changed, 9 insertions(+)

(limited to 'lib')

diff --git a/lib/pp_control.ml b/lib/pp_control.ml
index 44f3514588..caa985c185 100644
--- a/lib/pp_control.ml
+++ b/lib/pp_control.ml
@@ -96,7 +96,13 @@ let _ = set_gp deep_ft deep_gp
 
 (* For parametrization through vernacular *)
 let default = Format.pp_get_max_boxes !std_ft ()
+let default_margin = Format.pp_get_margin !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)
 
+let get_margin () = Some (Format.pp_get_margin !std_ft ())
+let set_margin v =
+  Format.pp_set_margin !std_ft (match v with None -> default_margin | Some v -> v)
+
diff --git a/lib/pp_control.mli b/lib/pp_control.mli
index 256cc26dea..b7cc42d112 100644
--- a/lib/pp_control.mli
+++ b/lib/pp_control.mli
@@ -44,3 +44,6 @@ val deep_ft : Format.formatter
 
 val set_depth_boxes : int option -> unit
 val get_depth_boxes : unit -> int option
+
+val set_margin : int option -> unit
+val get_margin : unit -> int option
-- 
cgit v1.2.3