* 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
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
(** {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
-
-(** {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
+val graphviz: ?packing:(GObj.widget -> unit) -> unit -> graphviz_widget