method about () =
      GToolbox.message_box
        Rep_messages.about
        Rep_messages.software_about