S.view_container
method global_view : ( 'vertex, 'edge, 'cluster ) Graph_gtk.DGraphView.view
option
method tree_view : ( 'tree_vertex, 'tree_edge, 'tree_cluster )
Graph_gtk.DGraphView.view
option
method status : status
method switch : status -> unit