From 1c32013cdbe17406de496cdf5f6899b84c4bbfed Mon Sep 17 00:00:00 2001
From: Einar de Gruyl <54003172+boerdereinar@users.noreply.github.com>
Date: Fri, 10 Nov 2023 14:08:31 +0100
Subject: [PATCH] user.js: Enable rounded bottom window corners (#692)

---
 configuration/user.js | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/configuration/user.js b/configuration/user.js
index 898e6ad..9be0aaa 100644
--- a/configuration/user.js
+++ b/configuration/user.js
@@ -14,3 +14,6 @@ user_pref("svg.context-properties.content.enabled", true);
 // Disable private window dark theme
 user_pref("browser.theme.dark-private-windows", false);
 
+// Enable rounded bottom window corners
+user_pref("widget.gtk.rounded-bottom-corners.enabled", true);
+