From 3f6361a110ec3c92570ecfc7bf368ea18d81ae82 Mon Sep 17 00:00:00 2001 From: Charles Gagnon Date: Thu, 30 May 2019 19:09:02 -0400 Subject: [PATCH] Remove clipping container when previews are hidden --- Settings.ui | 2 ++ windowPreview.js | 6 +++--- 2 files changed, 5 insertions(+), 3 deletions(-) diff --git a/Settings.ui b/Settings.ui index 7bf6ce2..27cc1bc 100644 --- a/Settings.ui +++ b/Settings.ui @@ -2383,6 +2383,7 @@ True True + end 4 0 preview_size_adjustment @@ -2427,6 +2428,7 @@ True True + end 4 50 preview_padding_adjustment diff --git a/windowPreview.js b/windowPreview.js index 7db979c..91500c8 100644 --- a/windowPreview.js +++ b/windowPreview.js @@ -101,7 +101,7 @@ var PreviewMenu = Utils.defineClass({ this._timeoutsHandler = new Utils.TimeoutsHandler(); this._signalsHandler = new Utils.GlobalSignalsHandler(); - Main.layoutManager.addChrome(this, { trackFullscreen: true, affectsInputRegion: false }); + Main.layoutManager.addChrome(this, { affectsInputRegion: false }); Main.layoutManager.trackChrome(this.menu, { affectsInputRegion: true }); this._resetHiddenState(); @@ -166,7 +166,7 @@ var PreviewMenu = Utils.defineClass({ let alpha = Math.max(MIN_MENU_ALPHA, this._panelWrapper.dynamicTransparency.alpha); this.menu.set_style('background: ' + Utils.getrgbaColor(this._panelWrapper.dynamicTransparency.backgroundColorRgb, alpha)); - this.menu.show(); + this.show(); this._refreshGlobals(); this.grab_key_focus(); @@ -375,7 +375,7 @@ var PreviewMenu = Utils.defineClass({ }, _resetHiddenState: function() { - this.menu.hide(); + this.hide(); this._setOpenedState(false); this.menu.opacity = 0; this.menu[this._translationProp] = this._translationOffset;