Module DGraphViewItem


module DGraphViewItem: sig .. end
Shape properties

type shape_p = [ `DASH of float * float array
| `FILL_COLOR of string
| `OUTLINE_COLOR of string
| `WIDTH_UNITS of float ]
Shape properties
class type shape = object .. end

Derived text class Uses a properties queue to undo changes (when dehighlighting for instance).
class graph_text : GnomeCanvas.text Gtk.obj -> size_points:float -> props:GnomeCanvas.text_p list -> object .. end
module VP: sig .. end
Tiny module to easily create and combine view_item properties
class type common_view = object .. end
class view_item : view:common_view -> pos:float * float -> ops_list:XDotDraw.operation list list -> hl_vip:VP.t -> object .. end
ViewItem class Group of shapes and texts
class type ['a] view_node = object .. end
class type ['a] view_edge = object .. end
class type ['a] view_cluster = object .. end
val view_node : ?hl_vip:VP.t ->
view:common_view ->
vertex:'a -> layout:XDot.node_layout -> unit -> 'a view_node
val view_edge : ?hl_vip:VP.t ->
view:common_view ->
edge:'a -> layout:XDot.edge_layout -> unit -> 'a view_edge
val view_cluster : view:common_view ->
cluster:'a ->
layout:XDot.cluster_layout -> unit -> 'a view_cluster