ignore (open_button#connect#clicked
~callback:(open_domain_details tree model columns));
ignore (start_button#connect#clicked
ignore (open_button#connect#clicked
~callback:(open_domain_details tree model columns));
ignore (start_button#connect#clicked