[gtk-osx-users] interacting with the global menu blocks the main loop?

[Antoine Martin <antoine nagafix co uk>]

Hi,

I've only just noticed that when the user interacts with the global menu
bar, all events in the main loop get delayed until after the user has
exited the menu. This is a big problem for me as my app uses idle_add /
timeout_add rather a lot.
I can't remember if this is a new problem or not, but as I've just
rebuilt everything from scratch, maybe it is.
Is this a known issue? And if so, is there a workaround?

Cheers
Antoine