Method AdjustTabsSize

gui/chrome_tabs.py:1298–1371

Adjust tab sizes to ensure that they are all consistent and can fit into the tab container.

(self)

        return len(self.tabs)

    def AdjustTabsSize(self):
        """
        Adjust tab sizes to ensure that they are all consistent and can fit into
        the tab container.
        """
        if self.tabWidthMode == 1:
            if self.GetTabsCount() > 0:
                availableW = self.tab_container_width
                overlapSavedW = max(0, len(self.tabs)) * self.inclination * 2
                tabsGrouped = {}
                for tab in self.tabs:
                    tabW, _ = tab.GetMinSize()
                    tabsGrouped.setdefault(math.ceil(tabW), []).append(tab)
                clippedTabs = []
                clipW = max(tabsGrouped, default=0)

                def getUnclippedW():
                    unclippedW = 0
                    for w, tabs in tabsGrouped.items():
                        unclippedW += w * len(tabs)
                    return unclippedW
                while tabsGrouped:
                    # Check if we're within width limit
                    neededW = 0
                    for w, tabs in tabsGrouped.items():
                        neededW += w * len(tabs)
                    if clippedTabs:
                        neededW += clipW * len(clippedTabs)
                    if neededW <= availableW + overlapSavedW:
                        break
                    # If we're not, extract widest tab group and mark it for clipping
                    currentTabs = tabsGrouped.pop(max(tabsGrouped))
                    clippedTabs.extend(currentTabs)
                    proposedClipWidth = math.floor((availableW + overlapSavedW - getUnclippedW()) / len(clippedTabs))
                    if not tabsGrouped or proposedClipWidth >= max(tabsGrouped, default=0):
                        clipW = max(0, proposedClipWidth)
                        break
                    else:
                        clipW = max(tabsGrouped)
                # Assign width for unclipped tabs
                for w, tabs in tabsGrouped.items():
                    for tab in tabs:
                        tab.SetSize((w, self.height))
                if clippedTabs:
                    # Some width remains to be used due to rounding to integer
                    extraWTotal = availableW + overlapSavedW - getUnclippedW() - clipW * len(clippedTabs)
                    extraWPerTab = math.ceil(extraWTotal / len(clippedTabs))
                    # Assign width for clipped tabs
                    for tab in clippedTabs:
                        extraW = min(extraWTotal, extraWPerTab)
                        extraWTotal -= extraW
                        tab.SetSize((clipW + extraW, self.height))
        else:
            # first we loop through our tabs and calculate the the largest tab. This
            # is the size that we will base our calculations off
            max_width = 100  # Tab should be at least 100
            for tab in self.tabs:
                mw, _ = tab.GetMinSize()  # Tab min size includes tab contents