/** @jsxImportSource @opentui/react */ /** * Scrollable pager for long content — full tool output, plan detail (PICK-003, * V2-074). * * Clean chrome: one border title, one meta/help row, body, one footer. * Ctrl+R search: substring matches paint reverse-video; Enter jumps to the * next hit and keeps the query so n/N / highlight stay active after the * filter bar closes. */ import { type ReactNode } from "react"; import type { AppServices } from "../../../ui-core/bootstrap/composition-root.js"; import type { Theme } from "../../../ui-core/rendering/theme.js"; import type { ArtifactPagerSource } from "../../../ui-core/rendering/artifact-pager-source.js"; import { type PagerMarkdownMode } from "../../rendering/pager-markdown.js"; export interface PagerProps { readonly services: AppServices; readonly theme: Theme; readonly title: string; readonly body: string; readonly source?: ArtifactPagerSource | undefined; /** When set, syntax-highlight diff bodies using this path's language. */ readonly highlightPath?: string | undefined; /** * Initial markdown mode. Help/shortcuts/plan pass `force` (start formatted). * Tool dumps default `auto` (start raw; press `f` for formatted, `r` for raw). */ readonly markdown?: PagerMarkdownMode | undefined; } export { bodyOnlyForCopy } from "./pager-line.js"; export declare function Pager(props: PagerProps): ReactNode;