From 711fc67229f517fd320aa3c4aa404b7e53c5cb7e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tor=20Hedin=20Br=C3=B8nner?= <torhedinbronner@gmail.com>
Date: Fri, 4 May 2018 15:20:15 +0200
Subject: [PATCH] navigator: Remove obsolete code

---
 navigator.js | 12 ------------
 1 file changed, 12 deletions(-)

diff --git a/navigator.js b/navigator.js
index 2f520e2..a71b66f 100644
--- a/navigator.js
+++ b/navigator.js
@@ -211,18 +211,6 @@ var PreviewedWindowNavigator = new Lang.Class({
 
         TopBar.updateWorkspaceIndicator(newMap.space.workspace.index());
 
-        let spaces = [
-            multimap.minimaps[to],
-            multimap.minimaps[to - 1],
-            multimap.minimaps[to + 1]
-        ].filter(x => x)
-            .map(x => x.space);
-
-        spaces.forEach(space => space.forEach(w => {
-            w.get_compositor_private().hide();
-            w.clone.show();
-        }));
-
         let heights = this._yPositions;
 
         multimap.minimaps.forEach((m, i) => {