import type { AgentManager } from "../../agent-manager.js"; import { type BoxChars, type DashboardTheme } from "../theme.js"; import type { DashboardRenderState } from "./types.js"; export declare function renderDashboardDetailPanel(width: number, th: DashboardTheme, box: BoxChars, state: DashboardRenderState, manager?: AgentManager): string[]; export declare function renderDashboardFooter(width: number, th: DashboardTheme, box: BoxChars, agentActivity?: Map): string[]; export declare function renderDashboardHelp(innerW: number, th: DashboardTheme, box: BoxChars): string[]; export declare function renderDashboardPerf(innerW: number, th: DashboardTheme, box: BoxChars, metrics: import("../render-metrics.js").RenderMetricsSnapshot, source?: "dashboard" | "widget"): string[]; export declare function renderDashboardEmpty(innerW: number, th: DashboardTheme, box: BoxChars): string[];