From aa11d90693431131995bdb4af02c7f59c26da914 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Mon, 19 Jun 2023 02:24:47 +0200
Subject: [PATCH] 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>
---
 js/ui/workspace.js | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/js/ui/workspace.js b/js/ui/workspace.js
index 0069cdd00..bf631a5f0 100644
--- a/js/ui/workspace.js
+++ b/js/ui/workspace.js
@@ -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();