Jonas Ådahl 73e0f02b1d overviewControls: Don't hide destroyed child widget on unmap
When we unmap, the child widgets have already been destroyed, so we
shouldn't try to. To detect this, delete the references we keep to them
on destroy, and null-check the hide call.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2623>
2023-02-06 18:10:01 +00:00
..
2022-08-01 18:51:14 +00:00
2022-03-04 14:14:37 +00:00
2022-12-16 22:12:59 +01:00
2022-03-04 14:14:37 +00:00
2022-03-04 14:14:37 +00:00
2023-01-17 13:58:06 +00:00
2022-12-16 22:12:59 +01:00
2021-09-01 14:55:47 +00:00
2022-03-04 14:14:37 +00:00
2022-12-16 22:12:59 +01:00
2022-12-16 22:12:59 +01:00
2022-03-04 14:14:37 +00:00
2022-03-04 14:14:37 +00:00