From 981ffc17612696046fb5cba95d2ae97d0868f60d Mon Sep 17 00:00:00 2001 From: Charles Gagnon Date: Tue, 10 Sep 2019 08:59:15 -0400 Subject: [PATCH] Fix previews menu first open on 3.34 --- windowPreview.js | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/windowPreview.js b/windowPreview.js index 5d4c204..7fb18f7 100644 --- a/windowPreview.js +++ b/windowPreview.js @@ -41,6 +41,7 @@ const T1 = 'openMenuTimeout'; const T2 = 'closeMenuTimeout'; const T3 = 'peekTimeout'; const T4 = 'ensureVisibleTimeout'; +const T5 = 'enableHideTimeout'; const MAX_TRANSLATION = 40; const HEADER_HEIGHT = 38; @@ -110,7 +111,7 @@ var PreviewMenu = Utils.defineClass({ Main.layoutManager.addChrome(this, { affectsInputRegion: false }); Main.layoutManager.trackChrome(this.menu, { affectsInputRegion: true }); - this._resetHiddenState(); + this._timeoutsHandler.add([T5, 0, () => this._resetHiddenState()]); this._refreshGlobals(); this._updateClip(); this.menu.set_position(1, 1);