~callback:(Op_download_file.download_file tree));
ignore (tree#op_file_information
~callback:(Op_file_information.file_information tree));
+ ignore (tree#op_file_properties
+ ~callback:(Op_file_properties.file_properties tree));
ignore (tree#op_inspection_dialog
~callback:(Op_inspection_dialog.inspection_dialog tree));
ignore (tree#op_view_file
~callback:(w#connect_to (Some "xen:///")));
ignore (w#connect_none_signal
~callback:(w#connect_to None));
+ ignore (w#connect_uri_signal
+ ~callback:(Menu_open_uri.open_uri_dialog w));
+ ignore (w#open_disk_signal
+ ~callback:(Menu_open_disk.open_disk_dialog w));
+ ignore (w#reopen_signal ~callback:w#reopen);
+ ignore (
+ w#inspection_signal
+ ~callback:(
+ fun () ->
+ match tree#oses with
+ | [] -> ()
+ | os :: _ ->
+ (* Note the menu entry only shows data for the first OS,
+ (for multiboot). *)
+ Op_inspection_dialog.inspection_dialog tree os
+ )
+ );
+ ignore (w#about_signal ~callback:(Menu_about.open_about_dialog w));
(* What did the user request on the command line? *)
w#run_cli_request cli_request;