diff --git a/src/browser/components/tabbrowser/content/tabs-js.patch b/src/browser/components/tabbrowser/content/tabs-js.patch index c10412967..b6d4e1f00 100644 --- a/src/browser/components/tabbrowser/content/tabs-js.patch +++ b/src/browser/components/tabbrowser/content/tabs-js.patch @@ -1,8 +1,8 @@ diff --git a/browser/components/tabbrowser/content/tabs.js b/browser/components/tabbrowser/content/tabs.js -index 137f1a3854f10aca0d0e3233a82c1c18fbdc2823..419e0ad674b76454e6e3e1ed4ae1a85488137940 100644 +index f3a2f226a9056c5a75023281fdeb704cec49b4a6..128a8ce2bb5738913ce4900beb7e8be27f62c420 100644 --- a/browser/components/tabbrowser/content/tabs.js +++ b/browser/components/tabbrowser/content/tabs.js -@@ -840,7 +840,7 @@ +@@ -904,7 +904,7 @@ gBrowser.syncThrobberAnimations(tab); }; @@ -11,7 +11,7 @@ index 137f1a3854f10aca0d0e3233a82c1c18fbdc2823..419e0ad674b76454e6e3e1ed4ae1a854 postTransitionCleanup(); } else { let onTransitionEnd = transitionendEvent => { -@@ -1411,7 +1411,7 @@ +@@ -1480,7 +1480,7 @@ let rect = ele => { return window.windowUtils.getBoundsWithoutFlushing(ele); }; @@ -20,7 +20,7 @@ index 137f1a3854f10aca0d0e3233a82c1c18fbdc2823..419e0ad674b76454e6e3e1ed4ae1a854 if (tab && rect(tab).width <= this._tabClipWidth) { this.setAttribute("closebuttons", "activetab"); } else { -@@ -1430,10 +1430,12 @@ +@@ -1499,10 +1499,12 @@ _handleTabSelect(aInstant) { let selectedTab = this.selectedItem; @@ -36,7 +36,7 @@ index 137f1a3854f10aca0d0e3233a82c1c18fbdc2823..419e0ad674b76454e6e3e1ed4ae1a854 selectedTab._notselectedsinceload = false; } -@@ -1477,7 +1479,7 @@ +@@ -1550,7 +1552,7 @@ if (isEndTab && !this._hasTabTempMaxWidth) { return; } @@ -45,7 +45,7 @@ index 137f1a3854f10aca0d0e3233a82c1c18fbdc2823..419e0ad674b76454e6e3e1ed4ae1a854 // Force tabs to stay the same width, unless we're closing the last tab, // which case we need to let them expand just enough so that the overall // tabbar width is the same. -@@ -1492,7 +1494,7 @@ +@@ -1565,7 +1567,7 @@ let tabsToReset = []; for (let i = numPinned; i < tabs.length; i++) { let tab = tabs[i]; @@ -54,7 +54,7 @@ index 137f1a3854f10aca0d0e3233a82c1c18fbdc2823..419e0ad674b76454e6e3e1ed4ae1a854 if (!isEndTab) { // keep tabs the same width tab.style.transition = "none"; -@@ -1558,9 +1560,9 @@ +@@ -1630,9 +1632,9 @@ let verticalTabsContainer = document.getElementById( "vertical-pinned-tabs-container" ); @@ -66,7 +66,7 @@ index 137f1a3854f10aca0d0e3233a82c1c18fbdc2823..419e0ad674b76454e6e3e1ed4ae1a854 let tabs = this._getVisibleTabs(); for (let i = 0; i < numPinned; i++) { tabs[i].style.marginInlineStart = ""; -@@ -1589,7 +1591,7 @@ +@@ -1660,7 +1662,7 @@ _positionPinnedTabs() { let tabs = this._getVisibleTabs(); @@ -74,8 +74,8 @@ index 137f1a3854f10aca0d0e3233a82c1c18fbdc2823..419e0ad674b76454e6e3e1ed4ae1a854 + let numPinned = gBrowser._numVisiblePinTabs; let absPositionHorizontalTabs = this.overflowing && tabs.length > numPinned && numPinned > 0; - -@@ -1672,7 +1674,7 @@ + +@@ -1934,7 +1936,7 @@ } let pinned = draggedTab.pinned; @@ -84,7 +84,7 @@ index 137f1a3854f10aca0d0e3233a82c1c18fbdc2823..419e0ad674b76454e6e3e1ed4ae1a854 let tabs = this._getVisibleTabs().slice( pinned ? 0 : numPinned, pinned ? numPinned : undefined -@@ -1949,9 +1951,9 @@ +@@ -2218,9 +2220,9 @@ function newIndex(aTab, index) { // Don't allow mixing pinned and unpinned tabs. if (aTab.pinned) {