import type { AgentManager } from "../../agent-manager.js";
import { type BoxChars, type DashboardTheme } from "../theme.js";
import type { DashboardRenderState } from "./types.js";
export declare function renderDashboardHeader(width: number, th: DashboardTheme, box: BoxChars, state: DashboardRenderState, manager?: AgentManager): string[];