Created attachment 156689 [details] [review]
[Overview] Postpone window repositioning while zooming

After closing a window, the remaining previews are repositioned
after a timeout; when it is called while the user zooms a preview,
the window positions get all messed up, so postpone the positioning
in this case until the zoom ends.

Review of attachment 156689 [details] [review]:

Looks good and works fine for me, just some minor nitpick about the variable name, feel free to either change it or to ignore if you disagree.

::: js/ui/workspace.js
@@ +133,3 @@
         this._inDrag = false;
 
+        this._windowZooming = false;

I'd call this _windowIsZooming or _windowZoomed (windowZooming sounds odd in this context).

But anyway not worth loosing sleep over it ;)

Attachment 156689 [details] pushed as 8b3d485 - [Overview] Postpone window repositioning while zooming