X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2FlablGraphviz.mli;h=d6b7f4f6ee1a48043dd1151443266052d372e94b;hb=cf957da981e3f4559f1decfc257cd08860f4dc77;hp=7dcedbf7547870feab94b187cf033a3a533ee31b;hpb=4bc69df9d97954207ebb2df142b927676a026e45;p=helm.git

diff --git a/matita/lablGraphviz.mli b/matita/lablGraphviz.mli
index 7dcedbf75..d6b7f4f6e 100644
--- a/matita/lablGraphviz.mli
+++ b/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