Module DGraphViewItem

module DGraphViewItem: sig .. end
View items for the different elements of a graph.


Shape


type shape_p = [ `DASH of float * float array
| `FILL_COLOR_RGBA of int32
| `OUTLINE_COLOR_RGBA of int32
| `WIDTH_UNITS of float ]
Shape properties
class type textshape = object .. end
class type shape = object .. end

Text


class graph_text : GnomeCanvas.text Gtk.obj -> size_points:float -> props:GnomeCanvas.text_p list -> object .. end
Derived text class.

View items


class type common_view = object .. end
class ['a] view_item : fill:bool -> delay:bool -> view:common_view -> pos:float * float -> ops_list:XDotDraw.operation list list -> item:'a -> object .. end
ViewItem class.
exception Cannot_convert_color of string
val view_node : delay:bool ->
view:common_view ->
vertex:'vertex ->
layout:XDot.node_layout -> unit -> 'vertex view_item
val view_edge : delay:bool ->
view:common_view ->
edge:'edge ->
layout:XDot.edge_layout -> unit -> 'edge view_item
val view_cluster : delay:bool ->
view:common_view ->
cluster:'cluster ->
layout:XDot.cluster_layout -> unit -> 'cluster view_item