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