method on_about () =
      GToolbox.message_box ("About "^software^" ...") software_about