From 00df7f16bf810d7993bcae0fc539040de85cf943 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tor=20Hedin=20Br=C3=B8nner?= <torhedinbronner@gmail.com>
Date: Tue, 3 Oct 2017 01:11:35 +0200
Subject: [PATCH] Make sure we complete any workspace switching is finished

---
 tiling.js | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/tiling.js b/tiling.js
index 8cacae6..f4e0e85 100644
--- a/tiling.js
+++ b/tiling.js
@@ -773,6 +773,9 @@ PreviewedWindowNavigator = new Lang.Class({
         debug('#preview', 'Finish', this._switcherList.windows[this._selectedIndex].title, this._selectedIndex);
         this.was_accepted = true;
         Main.activateWindow(this._switcherList.windows[this._selectedIndex])
+        // Finish workspace preview _after_ activate, that way the new animation
+        // triggered by activate gets killed immediately
+        Main.wm._previewWorkspaceDone();
         this.parent(timestamp);
     },
 
@@ -791,6 +794,7 @@ PreviewedWindowNavigator = new Lang.Class({
             debug('#preview', 'Abort', global.display.focus_window.title);
             ensure_viewport(this.space, global.display.focus_window);
         }
+        Main.wm._previewWorkspaceDone();
         this.parent();
     }
 });