(** {1 LablGtk "widget" for rendering Graphviz graphs and connecting to clicks
* on nodes, edges, ...} *)
+type attribute = string * string (* <key, value> pair *)
+
class type graphviz_widget =
object
* (e.g.: [ "shape","rect"; "href","http://foo.bar.com/";
* "title","foo"; "alt","description"; "coords","41,6,113,54" ] *)
method connect_href:
- (GdkEvent.Button.t -> (string * string) list -> unit) -> unit
+ (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: