places-menu: Don't override ClutterActor.destroy()

Now that PanelMenu.Button was made an StWidget subclass, the destroy()
method actually maps to the ClutterActor method, and overriding it
results in warnings when the extension is disabled. So instead, use
the existing ::destroy handler.

https://gitlab.gnome.org/GNOME/gnome-shell-extensions/issues/113
This commit is contained in:
Florian Müllner
2018-10-10 16:23:05 +02:00
committed by Florian Müllner
parent e5a0616a0a
commit 132b3b0509

View File

@@ -105,10 +105,10 @@ class PlacesMenu extends PanelMenu.Button {
}
}
destroy() {
_onDestroy() {
this.placesManager.destroy();
super.destroy();
super._onDestroy();
}
_redisplay(id) {