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

[Florian Müllner <fmuellner src gnome org>]

commit 5db45f0e402daceb799e2367ac3a93f39a631958
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>
    (cherry picked from commit b9abf6fcf5f4676e69f9ade17c0b3797d19a1986)

 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,