sig
type t_env
type t_options = {
sel_1_color : string;
sel_2_color : string;
center_node_when_selected : bool;
}
val default_options : ViewGraph_select.t_options
val init :
ViewGraph_select.t_options ->
GnoCanvas.canvas -> (GObj.widget -> unit) -> ViewGraph_select.t_env
module VG :
functor (UserCb : ViewGraph_core.SigCb) ->
sig
val open_dot_file :
UserCb.t_env ->
ViewGraph_select.t_env ->
?dot_cmd:string -> string -> ViewGraph_core.t_graph
end
val show_help : unit -> unit
end