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 b9abf6fcf5)
This commit is contained in:
Jonas Dreßler 2022-02-16 20:02:48 +01:00 committed by Florian Müllner
parent 0f11b3a297
commit 5db45f0e40

View file

@ -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,