Decreased the amount of waiting time in the GUI interpreter flush() method.
This will allow speed ups in certain parts of relax (for example some GUI tests).
Authored by: bugman 2012-05-30
Parent: [r16538]
Child: [r16540]
