From de72de122739e097acdb197501d279c8f6524bf6 Mon Sep 17 00:00:00 2001 From: Charles Gagnon Date: Thu, 6 Jun 2019 18:11:38 -0400 Subject: [PATCH] Exit peek mode when moving the mouse back to the taskbar --- windowPreview.js | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/windowPreview.js b/windowPreview.js index d20a002..df308b5 100644 --- a/windowPreview.js +++ b/windowPreview.js @@ -41,7 +41,7 @@ const T3 = 'peekTimeout'; const MAX_TRANSLATION = 40; const HEADER_HEIGHT = 38; const MIN_DIMENSION = 100; -const MIN_MENU_ALPHA = .5; +const MIN_MENU_ALPHA = .6; const FOCUSED_COLOR_OFFSET = 24; const HEADER_COLOR_OFFSET = -12; const PEEK_INDEX_PROP = '_dtpPeekInitialIndex'; @@ -333,6 +333,7 @@ var PreviewMenu = Utils.defineClass({ if (this.currentAppIcon && !this.menu.hover) { this._addCloseTimeout(); + this._endPeek(); } }, @@ -485,7 +486,7 @@ var PreviewMenu = Utils.defineClass({ } }; - tweenOpts[this._translationProp] = show ? 1 * this._translationDirection : this._translationOffset; + tweenOpts[this._translationProp] = show ? this._translationDirection : this._translationOffset; Tweener.addTween(this.menu, getTweenOpts(tweenOpts)); },