Summary

Allow users to manually resize column widths in VirtualResultGrid by dragging column divider handles in the header.

Requirements

• Add drag handles between header cells in _HeaderRow.
• Update _columnWidths and prefix sum offsets interactively during drag.
• Enforce ResultGridMetrics.minColumnWidth / maximum bounds.
• Maintain scroll position and overscan window calculation accuracy during resize.