module ViewGraph_select: sig
.. end
This module can be used to add some selection feature to ViewGraph
.
See ViewGraph_test
to see how to use it.
type
t_env
object returned by init
and used by open_dot_file
type
t_options = {
|
sel_1_color : string ; |
|
sel_2_color : string ; |
|
center_node_when_selected : bool ; |
}
val default_options : t_options
some default values for the options.
It is a good idea to use it and overwrite the one that have to be changed,
just in case some more options appear
val init : t_options ->
GnoCanvas.canvas -> (GObj.widget -> unit) -> t_env
should be called only once because it creates widgets.
The packing function is the place to put the messages about selection.
module VG:
functor to instanciate with your callbacks
val show_help : unit -> unit
Popup a message window with some help.