Fix animation and layout issues in tabs.js

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();
@@ -75,7 +75,7 @@ index 137f1a3854f10aca0d0e3233a82c1c18fbdc2823..419e0ad674b76454e6e3e1ed4ae1a854
        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) {