Didier Messages: 680 Registered: November 2008 Location: France
Contributor
Ohhh !! I never knew such a function existed.
I guess the only good part about my post is that other people know it exist now
NB: The delay was to avoid having signal() called before cond.wait() was called but it's true that since a gui action is supposed to be launched (and it therefore waits for a user action ) the delay is useless ( but just in case )