// A vertical drag handle for adjusting the width of the panel to its left. export function Resizer({ onDelta }: { onDelta: (deltaX: number) => void }) { const onMouseDown = (e: React.MouseEvent) => { e.preventDefault(); let lastX = e.clientX; const onMove = (ev: MouseEvent) => { onDelta(ev.clientX - lastX); lastX = ev.clientX; }; const onUp = () => { document.removeEventListener("mousemove", onMove); document.removeEventListener("mouseup", onUp); document.body.style.userSelect = ""; document.body.style.cursor = ""; }; document.addEventListener("mousemove", onMove); document.addEventListener("mouseup", onUp); document.body.style.userSelect = "none"; document.body.style.cursor = "col-resize"; }; return (
{/* Small pill grab handle in the middle for easier grabbing. */}
); }