[gnome-shell] overview: Increase SHADE_ANIMATION_TIME a bit

[Marge Bot <marge-bot src gnome org>]

commit 87103374fd4ba203a35fbfe86e5b1148d3ef21d4
Author: Jonas Dreßler <verdre v0yd nl>
Date:   Thu Aug 6 20:50:09 2020 +0200

    overview: Increase SHADE_ANIMATION_TIME a bit
    
    The SHADE_ANIMATION_TIME variable sets the duration of the animation of
    the background shading that is done when showing the overview. As
    explained in the code-comment, that value must be smaller than the
    animation time of the overview.
    
    Now since we're going to start animating the background color of the
    panel when showing the overview and we're going to use the overviews
    animation time for that, we want to make sure the shading of the
    background image and the animation of the panel are kept "in sync",
    otherwise the transitions would look bad.
    
    So slightly increase the value of SHADE_ANIMATION_TIME to 240 (the
    overviews animation time is 250) to make sure those happen in the same
    timeframe.
    
    Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1397>

 js/ui/overview.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/js/ui/overview.js b/js/ui/overview.js
index 9682f8e142..042e80a0aa 100644
--- a/js/ui/overview.js
+++ b/js/ui/overview.js
@@ -21,7 +21,7 @@ const WorkspaceThumbnail = imports.ui.workspaceThumbnail;
 // Must be less than ANIMATION_TIME, since we switch to
 // or from the overview completely after ANIMATION_TIME,
 // and don't want the shading animation to get cut off
-var SHADE_ANIMATION_TIME = 200;
+var SHADE_ANIMATION_TIME = 240;
 
 var DND_WINDOW_SWITCH_TIMEOUT = 750;