module DGraphView:View classes.sig
..end
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
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