layout: Destroy panel barrier on shutdown

It was being leaked, which is detected on mutter shutdown.

Closes: https://gitlab.gnome.org/GNOME/mutter/-/issues/3011
Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2975>
This commit is contained in:
Daniel van Vugt 2023-10-03 15:00:45 +08:00
parent 388d2b9faa
commit 4e2dddd18e

View File

@ -243,6 +243,7 @@ export const LayoutManager = GObject.registerClass({
}
this._destroyHotCorners();
this._destroyPanelBarrier();
this.uiGroup.destroy();
});
@ -575,11 +576,15 @@ export const LayoutManager = GObject.registerClass({
});
}
_updatePanelBarrier() {
_destroyPanelBarrier() {
if (this._rightPanelBarrier) {
this._rightPanelBarrier.destroy();
this._rightPanelBarrier = null;
}
}
_updatePanelBarrier() {
this._destroyPanelBarrier();
if (!this.primaryMonitor)
return;