Graph_gtk.DGraphViewItem
View items for the different elements of a graph.
type shape_p = [
|
`FILL_COLOR_RGBA of int32
|
`OUTLINE_COLOR_RGBA of int32
|
`WIDTH_UNITS of float
|
`DASH of float * float array
]
Shape properties
class type textshape = object ... end
class type shape = object ... end
class graph_text : GnomeCanvas.text Gtk.obj -> size_points:float -> props:GnomeCanvas.text_p
list -> object ... end
Derived text class.
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
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