From 0dfa8d000e080147f6b35c4ed20ca7dd2ca0ebb8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tor=20Hedin=20Br=C3=B8nner?= <torhedinbronner@gmail.com>
Date: Fri, 13 Apr 2018 00:13:10 +0200
Subject: [PATCH] scratch: Force top bar visibility when showing the scratch
 layer

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

diff --git a/scratch.js b/scratch.js
index bc7a38a..f067467 100644
--- a/scratch.js
+++ b/scratch.js
@@ -1,5 +1,7 @@
 const Extension = imports.misc.extensionUtils.extensions['paperwm@hedning:matrix.org']
 const Meta = imports.gi.Meta;
+
+const TopBar = Extension.imports.topbar;
 const utils = Extension.imports.utils;
 const debug = utils.debug;
 let float;
@@ -49,6 +51,7 @@ function toggleScratch() {
 
 function show() {
     let windows = getScratchWindows();
+    TopBar.show();
     windows.slice().reverse()
         . map(function(meta_window) {
             meta_window.unminimize();