From c925e662ce819a1c6b8366db5e5b5999711bbe68 Mon Sep 17 00:00:00 2001
From: Jarno Rankinen <jarno@oranki.net>
Date: Sun, 14 Jan 2024 11:09:48 +0200
Subject: [PATCH] Personal preferences to user.js

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

diff --git a/configuration/user.js b/configuration/user.js
index 9be0aaa..01d9bb1 100644
--- a/configuration/user.js
+++ b/configuration/user.js
@@ -17,3 +17,7 @@ user_pref("browser.theme.dark-private-windows", false);
 // Enable rounded bottom window corners
 user_pref("widget.gtk.rounded-bottom-corners.enabled", true);
 
+// Personal additions
+user_pref("gnomeTheme.hideSingleTab", true);
+user_pref("gnomeTheme.normalWidthTabs", true);
+user_pref("gnomeTheme.tabsAsHeaderbar", true);