workspace: Reapply border radius on background changes

The rounded corner effect is applied to the background actor, so
we have to reapply the correct values when the background changes
for the corners to persist.

https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/4125

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2801>
(cherry picked from commit aa11d90693)
This commit is contained in:
Florian Müllner 2023-06-19 02:24:47 +02:00
parent 199b556b5d
commit f5d8ad88ec

View file

@ -981,6 +981,11 @@ class WorkspaceBackground extends Shell.WorkspaceBackground {
useContentSize: false,
});
this._bgManager.connect('changed', () => {
this._updateRoundedClipBounds();
this._updateBorderRadius();
});
global.display.connectObject('workareas-changed', () => {
this._workarea = Main.layoutManager.getWorkAreaForMonitor(monitorIndex);
this._updateRoundedClipBounds();