From 2ced46263782eae0d2ecfa29898d0a8b0ecff5b3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tor=20Hedin=20Br=C3=B8nner?= <torhedinbronner@gmail.com>
Date: Wed, 18 Apr 2018 04:38:21 +0200
Subject: [PATCH] Never show window actors when navigating

---
 navigator.js | 6 ++++++
 scratch.js   | 2 ++
 tiling.js    | 6 ++++--
 3 files changed, 12 insertions(+), 2 deletions(-)

diff --git a/navigator.js b/navigator.js
index 2c87750..c4bd927 100644
--- a/navigator.js
+++ b/navigator.js
@@ -11,12 +11,14 @@ const Main = imports.ui.main;
 const Clutter = imports.gi.Clutter;
 const Tweener = imports.ui.tweener;
 
+var TopBar = Extension.imports.topbar;
 const Minimap = Extension.imports.minimap;
 const Tiling = Extension.imports.tiling;
 const utils = Extension.imports.utils;
 const debug = utils.debug;
 
 const scale = 0.90;
+var navigating = false;
 
 var PreviewedWindowNavigator = new Lang.Class({
     Name: 'PreviewedWindowNavigator',
@@ -25,6 +27,8 @@ var PreviewedWindowNavigator = new Lang.Class({
     _init: function() {
         this.parent();
 
+        navigating = true;
+
         let multimap = new Minimap.MultiMap(true);
         this.multimap = multimap;
         this._switcherList = multimap;
@@ -290,6 +294,8 @@ var PreviewedWindowNavigator = new Lang.Class({
             }
             Tiling.ensure_viewport(Tiling.spaces.spaceOfWindow(focus), focus);
         }
+
+        navigating = false;
         this.parent();
     }
 });
diff --git a/scratch.js b/scratch.js
index 52ada19..759ad49 100644
--- a/scratch.js
+++ b/scratch.js
@@ -10,6 +10,8 @@ function makeScratch(metaWindow) {
     metaWindow[float] = true;
     metaWindow.make_above();
     metaWindow.stick();
+    metaWindow.clone.hide();
+    metaWindow.get_compositor_private().show();
 }
 
 function unmakeScratch(metaWindow) {
diff --git a/tiling.js b/tiling.js
index 631b076..2186a00 100644
--- a/tiling.js
+++ b/tiling.js
@@ -13,6 +13,7 @@ const debug = utils.debug;
 var Minimap = Extension.imports.minimap;
 var Scratch = Extension.imports.scratch;
 var TopBar = Extension.imports.topbar;
+var Navigator = Extension.imports.navigator;
 var Me = Extension.imports.tiling;
 
 let preferences = Extension.imports.convenience.getSettings();
@@ -175,7 +176,7 @@ function disable () {
     }
 }
 
-let colors = [ 'grey', 'cyan', 'red', 'blue', 'green', 'yellow', 'orange'];
+let colors = [ 'grey', 'green', 'yellow', 'orange', 'cyan', 'blue', 'red'];
 let color = 0;
 let containers = [];
 class Space extends Array {
@@ -655,7 +656,8 @@ let minimizeWrapper = utils.dynamic_function_ref('minimizeHandler', Me);
 function showHandler(actor) {
     let metaWindow = actor.meta_window;
     let onActive = metaWindow.get_workspace() === global.screen.get_active_workspace();
-    if (metaWindow.clone.visible || ! onActive) {
+
+    if (metaWindow.clone.visible || ! onActive || Navigator.navigating) {
         actor.hide();
         metaWindow.clone.show();
     }