method load file = try let report = Rep_io.load_report file in self#show_report report with Failure s -> GToolbox.message_box ~title: Rep_messages.error s