X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FlablGraphviz.mli;h=d6b7f4f6ee1a48043dd1151443266052d372e94b;hb=78e39847d4e846421ccb10cda72f1b690550deb1;hp=c15e580b142199751b8a5bec24571f02803b9311;hpb=e271fd61d46f9fa9b1e007e3bc2dd99cbfe5452a;p=helm.git

diff --git a/helm/software/matita/lablGraphviz.mli b/helm/software/matita/lablGraphviz.mli
index c15e580b1..d6b7f4f6e 100644
--- a/helm/software/matita/lablGraphviz.mli
+++ b/helm/software/matita/lablGraphviz.mli
@@ -49,6 +49,9 @@ class type graphviz_widget =
     method connect_href:
       (GdkEvent.Button.t -> attribute list -> unit) -> unit
 
+    (** Center the viewport on the node having the given href value, if any *)
+    method center_on_href: string -> unit
+
       (** {3 low level access to embedded widgets}
        * Containment hierarchy:
        *  viewport
@@ -66,23 +69,3 @@ val gTwopi: ?packing:(GObj.widget -> unit) -> unit -> graphviz_widget
 val gCirco: ?packing:(GObj.widget -> unit) -> unit -> graphviz_widget
 val gFdp: ?packing:(GObj.widget -> unit) -> unit -> graphviz_widget
 
-(** {2 Pretty printer for generating Graphviz markup} *)
-
-module Pp:
-  sig
-
-    module type GraphvizFormatter =
-      sig
-        val header: ?name:string -> Format.formatter -> unit
-        val node: string -> ?attrs:(attribute list) -> Format.formatter -> unit
-        val edge:
-          string -> string -> ?attrs:(attribute list) -> Format.formatter ->
-            unit
-        val raw: string -> Format.formatter -> unit
-        val trailer: Format.formatter -> unit
-      end
-
-    module Dot: GraphvizFormatter
-
-  end
-