Improvement of the recording of the output: manage user actions and gui, error handling.
Authored by: bruno.herbelin@gmail.com 2011-03-19
Parent: [r308]
Child: [r310]