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>
This commit is contained in:
Florian Müllner 2023-06-19 02:24:47 +02:00 committed by Marge Bot
parent ee384d85da
commit aa11d90693

View File

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