scratch: Force top bar visibility when showing the scratch layer

This commit is contained in:
Tor Hedin Brønner
2018-04-13 20:05:55 +02:00
parent 471300f8ec
commit 0dfa8d000e
+3
View File
@@ -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();