From 4cccda6d0532e4119aab438697c64f2702ea6a78 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tor=20Hedin=20Br=C3=B8nner?= <torhedinbronner@gmail.com>
Date: Wed, 18 Apr 2018 19:51:06 +0200
Subject: [PATCH] Don't hide scratch windows

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

diff --git a/tiling.js b/tiling.js
index 2186a00..8879bee 100644
--- a/tiling.js
+++ b/tiling.js
@@ -657,6 +657,9 @@ function showHandler(actor) {
     let metaWindow = actor.meta_window;
     let onActive = metaWindow.get_workspace() === global.screen.get_active_workspace();
 
+    if (Scratch.isScratchWindow(metaWindow))
+        return;
+
     if (metaWindow.clone.visible || ! onActive || Navigator.navigating) {
         actor.hide();
         metaWindow.clone.show();