From 8eaeadee2582a48c064c197375fdb34ae3f35723 Mon Sep 17 00:00:00 2001 From: Jarno Rankinen Date: Sun, 14 Jan 2024 11:53:58 +0200 Subject: [PATCH] Hide single tab -> false by default --- configuration/user.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/configuration/user.js b/configuration/user.js index 01d9bb1..f1ea9fa 100644 --- a/configuration/user.js +++ b/configuration/user.js @@ -18,6 +18,6 @@ user_pref("browser.theme.dark-private-windows", false); user_pref("widget.gtk.rounded-bottom-corners.enabled", true); // Personal additions -user_pref("gnomeTheme.hideSingleTab", true); +user_pref("gnomeTheme.hideSingleTab", false); user_pref("gnomeTheme.normalWidthTabs", true); user_pref("gnomeTheme.tabsAsHeaderbar", true);