From 8cbf7c9e309583e7d8e96748d7747c2d53572562 Mon Sep 17 00:00:00 2001 From: Ulrik de Muelenaere Date: Wed, 17 May 2023 18:20:36 -0400 Subject: [PATCH] userChrome/tabmenu: Fix height of tab menu in FF 113 (MR 31) Without this fix, the tab menu is only tall enough for 2 or 3 entries. This is an update of the rule directly above it, changing the ID and changing from a calculated height to a fixed height matching its child #allTabsMenu-allTabsView. With the calculated height, the menu entries were offset above the top of the menu. The previous rule no longer seems to be necessary, at least in Firefox 102 and newer, since #allTabsMenu-multiView does not exist. --- src/userChrome/tabmenu.css | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/src/userChrome/tabmenu.css b/src/userChrome/tabmenu.css index ec6d0ed..f78405e 100644 --- a/src/userChrome/tabmenu.css +++ b/src/userChrome/tabmenu.css @@ -67,11 +67,16 @@ overflow-y: hidden !important; } - #allTabsMenu-multiView box.panel-viewstack { + #allTabsMenu-multiView box.panel-viewstack { /* before FF 102 or earlier */ /* Use the whole height */ height: calc(100vh - 100px) !important; max-height: calc(100vh - 100px) !important; } + #customizationui-widget-multiview box.panel-viewstack { /* since FF 113 */ + /* Use the whole height */ + height: 300px !important; + max-height: 300px !important; + } #allTabsMenu-allTabsViewTabs { /* Make sure tabs with long titles don't exceed the all tabs menu */