Improvement of the recording of the output: settings and gui bug fix.
Authored by: bruno.herbelin@gmail.com 2011-03-21
Parent: [r311]
Child: [r313]