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