Method drill_down

xtop/core/navigation.py:273–346

Add filter and push current state to history. Args: column: Column to filter on value: Value to filter for (or exclude) new_group_cols: Optional new grouping columns exclude: If True, add as exclude filter (!=)

(
        self,
        column: str,
        value: Any,
        new_group_cols: Optional[List[str]] = None,
        exclude: bool = False,
    )

        )
    
    def drill_down(
        self,
        column: str,
        value: Any,
        new_group_cols: Optional[List[str]] = None,
        exclude: bool = False,
    ) -> NavigationFrame:
        """
        Add filter and push current state to history.
        
        Args:
            column: Column to filter on
            value: Value to filter for (or exclude)
            new_group_cols: Optional new grouping columns
            exclude: If True, add as exclude filter (!=)
            
        Returns:
            New navigation frame
        """
        if self.current_frame is None:
            raise ValueError("No current frame to drill down from")
        
        # Push current frame to history
        self.history.append(copy.deepcopy(self.current_frame))
        
        # Trim history if too long
        if len(self.history) > self.max_history:
            self.history = self.history[-self.max_history:]
        
        # Create new frame with additional filter
        new_filters = copy.deepcopy(self.current_frame.filters)
        new_exclude_filters = copy.deepcopy(self.current_frame.exclude_filters)
        new_labels = copy.deepcopy(self.current_frame.labels)

        column_key = self._canonical(column)
        values = self._normalize_values(value)
        display_label = self._format_label(column)

        if exclude:
            # If we're excluding a value, remove any include filter for the same column
            # to avoid contradictions like STATE=SLEEP AND STATE!=SLEEP
            if column_key in new_filters:
                del new_filters[column_key]
            new_exclude_filters[column_key] = values
            new_labels[column_key] = display_label
            desc = f"Excluded {display_label}!={self._format_values_short(values)}"
        else:
            # If we're including a value, remove any exclude filter for the same column
            if column_key in new_exclude_filters:
                del new_exclude_filters[column_key]
            new_filters[column_key] = values
            new_labels[column_key] = display_label
            desc = f"Filtered by {display_label}={self._format_values_short(values)}"
        
        # Use new group columns or keep existing
        if new_group_cols is not None:
            group_cols = [self._canonical(col) for col in new_group_cols]
        else: