Comment 3 for bug 591660

We have a fix in clutter 1.2.4 for this bug. What we do is intercept the Leave event that is received when the Menu shows up. Then we check an environment variable to decide if we are going to going to apply the workaround or not. If the environment variable is set, then we check if the mouse is still inside the Clutter window. If yes, we ignore the leave event...