Module DGraphView


module DGraphView: sig .. end
View class


View class

Simple widget derived from the Gnome Canvas Supports zooming and scrolling
class [['a, 'b, 'c]] view : GnomeCanvas.canvas Gtk.obj -> ('a, 'b, 'c) DGraphModel.abstract_model -> object .. end
val view : ?aa:bool ->
('a, 'b, 'c) DGraphModel.abstract_model ->
?border_width:int ->
?width:int ->
?height:int ->
?packing:(GObj.widget -> unit) ->
?show:bool -> unit -> ('a, 'b, 'c) view
class [['a, 'b, 'c]] highlight_focus_view : GnomeCanvas.canvas Gtk.obj -> ('a, 'b, 'c) DGraphModel.abstract_model -> [['a, 'b, 'c]] view
Same widget augmented with highlighting and focus Hover to highlight, double click to focus
val highlight_focus_view : ?aa:bool ->
('a, 'b, 'c) DGraphModel.abstract_model ->
?border_width:int ->
?width:int ->
?height:int ->
?packing:(GObj.widget -> unit) ->
?show:bool -> unit -> ('a, 'b, 'c) highlight_focus_view
class [['a, 'b, 'c]] labeled_view : GnomeCanvas.canvas Gtk.obj -> ('a, 'b, 'c) DGraphModel.abstract_model -> GMisc.label -> [['a, 'b, 'c]] view
Same widget augmented with a label displaying the current node
val labeled_view : ?aa:bool ->
('a, 'b, 'c) DGraphModel.abstract_model ->
GMisc.label ->
?border_width:int ->
?width:int ->
?height:int ->
?packing:(GObj.widget -> unit) ->
?show:bool -> unit -> ('a, 'b, 'c) highlight_focus_view