mirror of
https://github.com/brl/mutter.git
synced 2025-01-23 09:59:03 +00:00
e362227514
There's a race here. If an OR window hides itself, moves, and then shows itself, we will send a ConfigureNotify for the old size of the window and might receive it after the client moves itself, causing us to show the window at the wrong location. Simply not sending the ConfigureNotify is the easiest thing to do.