(** This function creates the main window. You have to pass in
callback functions to wire everything up.
*)
(** This function creates the main window. You have to pass in
callback functions to wire everything up.
*)
start_domain:Vc_domain_ops.dops_callback_fn ->
pause_domain:Vc_domain_ops.dops_callback_fn ->
resume_domain:Vc_domain_ops.dops_callback_fn ->
shutdown_domain:Vc_domain_ops.dops_callback_fn ->
start_domain:Vc_domain_ops.dops_callback_fn ->
pause_domain:Vc_domain_ops.dops_callback_fn ->
resume_domain:Vc_domain_ops.dops_callback_fn ->
shutdown_domain:Vc_domain_ops.dops_callback_fn ->