~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