Fix for the sequence.read() GUI user function.
The call to execute() has been renamed to on_execute().
Authored by: bugman 2011-06-23
Parent: [r13198]
Child: [r13200]