Jonas Dreßler b9abf6fcf5 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>
2022-02-16 20:08:44 +00:00
..
2022-02-07 14:12:04 +00:00
2022-02-07 14:12:04 +00:00
2022-01-29 01:16:30 +01:00
2022-02-02 17:22:20 +01:00
2022-02-11 16:24:01 +00:00
2021-09-01 14:55:47 +00:00
2022-02-12 02:54:57 +05:00
2019-11-11 19:25:14 +00:00
2022-02-12 14:08:01 +00:00
2022-02-12 02:54:57 +05:00