Module DGraphView


module DGraphView: sig .. end
View classes.

Each optional function delay_node, delay_edge and delay_cluster of this module may be used to indicate whether an element must be displayed instantaneously (if the function returns false) or may be delayed for latter display (if the function returns true). By default, each function always returns false. It may be set for returning true from time to time, improving efficiency.


class [['a, 'b, 'c]] view : ?delay_node:'a -> bool -> ?delay_edge:'b -> bool -> ?delay_cluster:'c -> bool -> GnomeCanvas.canvas Gtk.obj -> ('a, 'b, 'c) DGraphModel.abstract_model -> object .. end
Graph widget derived from GnoCanvas.canvas.
val view : ?aa:bool ->
?delay_node:('a -> bool) ->
?delay_edge:('b -> bool) ->
?delay_cluster:('c -> bool) ->
?border_width:int ->
?width:int ->
?height:int ->
?packing:(GObj.widget -> unit) ->
?show:bool ->
('a, 'b, 'c) DGraphModel.abstract_model -> ('a, 'b, 'c) view
View as a Gnome Canvas. Support zooming and scrolling.