diff --git a/sw/supervision/paparazzicenter.ml b/sw/supervision/paparazzicenter.ml index bfdeba0ce7..3f23c903aa 100644 --- a/sw/supervision/paparazzicenter.ml +++ b/sw/supervision/paparazzicenter.ml @@ -282,19 +282,47 @@ let () = ignore (gui#menu_item_fullscreen#connect#activate ~callback); (* Help/About menu entry *) - let callback = fun () -> - ignore (GToolbox.message_box ~title:"About Paparazzi Center" ~icon:(GMisc.image ~pixbuf:paparazzi_pixbuf ())#coerce "Copyright (C) 2007-2008 ENAC, Pascal Brisset\nhttp://paparazziuav.org") in - ignore (gui#menu_item_about#connect#activate ~callback); + let aboutDialog = GWindow.about_dialog + ~name:"Paparazzi Center" + ~logo:paparazzi_pixbuf + ~authors:["Pascal Brisset"] + ~copyright:"Copyright (C) 2007-2008 ENAC, Pascal Brisset" + ~license:"GPLv2" + ~website:"http://paparazziuav.org" + ~website_label:"http://paparazziuav.org" + (*~version:version_str*) + ~position:`CENTER_ON_PARENT + ~destroy_with_parent:true + ~parent:gui#window + () + in + ignore (gui#menu_item_about#connect#activate ~callback:(fun () -> ignore (aboutDialog#run ()); aboutDialog#misc#hide ())); + + let pprzInfoDialog (title,msg) = + (* somehow doen't show the pprz icon, but the default info icon instead *) + let dlg = GWindow.message_dialog + ~title:title + ~message:msg + ~icon:paparazzi_pixbuf + ~use_markup:true + ~modal:true + ~message_type:`INFO + ~position:`CENTER_ON_PARENT + ~destroy_with_parent:true + ~parent:gui#window + ~buttons:GWindow.Buttons.close () in + let res = dlg#run () = `CLOSE in + dlg#destroy (); + res + in (* Help/Get Help menu entry *) - let callback = fun () -> - ignore (GToolbox.message_box ~title:"Getting Help with Paparazzi" ~icon:(GMisc.image ~pixbuf:paparazzi_pixbuf ())#coerce "The primary documentation for Paparazzi is on the wiki:\nhttps://wiki.paparazziuav.org\n\nCommunity-based support is through the paparazzi-devel mailing list:\nhttps://wiki.paparazziuav.org/wiki/Contact\n\nThe Paparazzi auto-generated developer documentation is found on:\nhttp://docs.paparazziuav.org/\n\nThe Paparazzi sourcecode can be found on GitHub:\nhttps://github.com/paparazzi/paparazzi\n\nIf you think you have found a bug or would like to make a feature request, feel\nfree to visit the Issues page found on GitHub (link found on the above webpage).") in - ignore (gui#menu_item_get_help#connect#activate ~callback); + let help_text = "Primary documentation: Paparazzi wiki:\nhttps://wiki.paparazziuav.org\n\nCommunity-based support, mailing list: Contact\n\nThe Paparazzi auto-generated developer documentation:\nhttp://docs.paparazziuav.org\n\nPaparazzi sourcecode and issue tracker:\nhttps://github.com/paparazzi/paparazzi" in + ignore (gui#menu_item_get_help#connect#activate ~callback:(fun () -> ignore (pprzInfoDialog ("Getting Help with Paparazzi",help_text)))); (* Version *) - let callback = fun () -> - ignore (GToolbox.message_box ~title:"Paparazzi version" ~icon:(GMisc.image ~pixbuf:paparazzi_pixbuf ())#coerce ("Run version:\t" ^ version_str ^ "\nBuild version:\t" ^ build_str)) in - ignore (gui#menu_item_version#connect#activate ~callback); + let version_msg = ("Run version:\t" ^ version_str ^ "\nBuild version:\t" ^ build_str) in + ignore (gui#menu_item_version#connect#activate ~callback:(fun () -> ignore (pprzInfoDialog ("Version",version_msg)))); (* Read preferences *) if Sys.file_exists Env.gconf_file then begin