From ab46ecdf007a4abfbd51c2cf9f80aba7bb9df6d0 Mon Sep 17 00:00:00 2001 From: Oliver Smith Date: Sun, 5 Dec 2021 07:05:07 +0100 Subject: [PATCH] userChrome/tabmenu: make it work with private mode (MR 19) Always reserver the space for the private browsing indicator, even if not in private mode. This allows using the same width for the displayed tab in both modes. Without this, the X of the tab is not visible in private mode. I think it's nice to have this space in both modes to quickly close the menu, as it's right above the menu button. --- src/userChrome/tabmenu.css | 16 +++++++++++++++- 1 file changed, 15 insertions(+), 1 deletion(-) diff --git a/src/userChrome/tabmenu.css b/src/userChrome/tabmenu.css index bd27029..d28c476 100644 --- a/src/userChrome/tabmenu.css +++ b/src/userChrome/tabmenu.css @@ -2,10 +2,24 @@ * SPDX-License-Identifier: GPL-3.0-or-later */ @media (max-width: 700px) { + /* Even when not in private browsing mode, reserve space to the right of + * the tab bar for the private-browsing-indicator (that mask icon). This + * gives the tab bar a consistent width in both the regular and the private + * browsing mode, so the increased width hack below looks good in both. */ + #titlebar { + padding-right: 30px; + } + hbox.private-browsing-indicator { + position: fixed !important; + right: 0px; + bottom: 50px; + display: block; + } + /* Increase tab width, to have more space for displaying the title of the * website and to make the "all tabs" button show up. */ #tabbrowser-tabs { - --tab-min-width: calc(100vw - 86px) !important; + --tab-min-width: calc(100vw - 116px) !important; } /* Rotate the arrow on the "all tabs" button to point upwards, since the