~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:(
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;