Florian Müllner 1812db7aa8 panelMenu: Destroy menu before chaining up
This avoid some (harmless but annoying) warnings, and is closer to
the original code prior to commit fc342fe8c5 and 557b232c896.

https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/3022
2020-07-29 19:40:54 +00:00
..
2020-05-20 15:12:03 +02:00
2020-06-23 16:14:24 +00:00
2020-06-03 12:55:53 -03:00
2020-07-20 16:13:19 +00:00
2020-03-31 05:43:40 +00:00
2019-11-11 19:25:14 +00:00
2020-03-27 10:39:58 +01:00
2020-06-03 12:55:53 -03:00
2020-05-20 15:12:03 +02:00
2020-07-07 12:26:58 +02:00
2020-05-20 15:12:03 +02:00