/** * @license * Copyright 2025 Vybestack LLC * SPDX-License-Identifier: Apache-2.0 */ import type React from 'react'; import { Box } from 'ink'; import { theme } from '../semantic-colors.js'; import { getBorderStyle } from '../contexts/UnicodeRenderingContext.js'; export interface StickyHeaderProps { children: React.ReactNode; width: number; isFirst: boolean; borderColor: string; borderDimColor: boolean; } export const StickyHeader: React.FC = ({ children, width, isFirst, borderColor, borderDimColor, }) => { const separatorWidth = Math.max(0, width - 2); return ( {children} {/* Dark border to separate header from content. */} } > {children} ); };