module ViewGraph_select:sig
..end
ViewGraph
.
See ViewGraph_test
to see how to use it.
type
t_env
init
and used by open_dot_file
type
t_options = {
|
sel_1_color : |
(* |
color of the selected node (default "red")
| *) |
|
sel_2_color : |
(* |
color of the selected neighbour (default "green")
| *) |
|
center_node_when_selected : |
(* |
automatically center a node when it is selected (default true)
| *) |
val default_options : t_options
val init : t_options ->
GnoCanvas.canvas -> (GObj.widget -> unit) -> t_env
module VG:
val show_help : unit -> unit