a21ba292eb
When leaving the overview by hitting escape or super, all windows animate to their original positions. Zoomed windows are kept above others until the animation ends, then the focused window is brought to the front; as this looks odd if the zoomed window does not have focus, cancel the zoom in that case before leaving the overview. https://bugzilla.gnome.org/show_bug.cgi?id=609243