[gnome-shell] overviewControls: Factor in margin-bottom for dash startup animation

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

commit b9abf6fcf5f4676e69f9ade17c0b3797d19a1986
Author: Jonas Dreßler <verdre v0yd nl>
Date:   Wed Feb 16 20:02:48 2022 +0100

    overviewControls: Factor in margin-bottom for dash startup animation
    
    We set a margin-bottom on the dash to give it some margin towards the
    monitor edge, we need to factor in this margin when moving it outside of
    the monitor for our animation.
    
    Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2191>

 js/ui/overviewControls.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/js/ui/overviewControls.js b/js/ui/overviewControls.js
index 2344ad8eb0..d3df21ea07 100644
--- a/js/ui/overviewControls.js
+++ b/js/ui/overviewControls.js
@@ -842,7 +842,7 @@ class ControlsManager extends St.Widget {
 
         // The Dash rises from the bottom. This is the last animation to finish,
         // so run the callback there.
-        this.dash.translation_y = this.dash.height;
+        this.dash.translation_y = this.dash.height + this.dash.margin_bottom;
         this.dash.ease({
             translation_y: 0,
             delay: STARTUP_ANIMATION_TIME,