Module Graph_gtk.DGraphViewItem

View items for the different elements of a graph.

Shape

type shape_p = [
  1. | `FILL_COLOR_RGBA of int32
  2. | `OUTLINE_COLOR_RGBA of int32
  3. | `WIDTH_UNITS of float
  4. | `DASH of float * float array
]

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: Graph.XDotDraw.operation list list -> item:'a -> object ... end

ViewItem class. Group of shapes and texts

exception Cannot_convert_color of string
val view_node : delay:bool -> view:common_view -> vertex:'vertex -> layout:Graph.XDot.node_layout -> unit -> 'vertex view_item
val view_edge : delay:bool -> view:common_view -> edge:'edge -> layout:Graph.XDot.edge_layout -> unit -> 'edge view_item
val view_cluster : delay:bool -> view:common_view -> cluster:'cluster -> layout:Graph.XDot.cluster_layout -> unit -> 'cluster view_item