X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FlablGraphviz.mli;h=7b90eec12e9c60c486fcb21a286e3e7c3f00d7a5;hb=50a9ed8c6207145fccf59e6a5dbbff935cd2c6d7;hp=7dcedbf7547870feab94b187cf033a3a533ee31b;hpb=68e83da0f741009b8fdcc89934a251eafabc9012;p=helm.git diff --git a/helm/software/matita/lablGraphviz.mli b/helm/software/matita/lablGraphviz.mli index 7dcedbf75..7b90eec12 100644 --- a/helm/software/matita/lablGraphviz.mli +++ b/helm/software/matita/lablGraphviz.mli @@ -38,8 +38,13 @@ class type graphviz_widget = * GtkImage widget * 2) render it to a (HTML) map, internalizing its data. * Remember that map entries are generated only for nodes, (edges, ...) - * that have an "href" (or "URL", a synonym) attribute *) - method load_graph_from_file: string -> unit + * that have an "href" (or "URL", a synonym) attribute + * Interesting values for gviz_cmd are: + * 'neato' + * 'dot' + * 'tred | dot' + *) + method load_graph_from_file: ?gviz_cmd:string -> string -> unit (** Callback invoked when a click on a node listed in the map is received. * @param gdk's button event @@ -49,6 +54,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 @@ -60,9 +68,5 @@ class type graphviz_widget = (** {2 Constructors} *) -val gDot: ?packing:(GObj.widget -> unit) -> unit -> graphviz_widget -val gNeato: ?packing:(GObj.widget -> unit) -> unit -> graphviz_widget -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 +val graphviz: ?packing:(GObj.widget -> unit) -> unit -> graphviz_widget