import { FileContents } from "../../types.js"; import { GetHoveredLineResult } from "../../managers/MouseEventManager.js"; import { FileProps } from "../types.js"; import { ReactNode } from "react"; //#region src/react/utils/renderFileChildren.d.ts interface RenderFileChildrenProps { file: FileContents; renderHeaderMetadata: FileProps["renderHeaderMetadata"]; renderAnnotation: FileProps["renderAnnotation"]; lineAnnotations: FileProps["lineAnnotations"]; renderHoverUtility: FileProps["renderHoverUtility"]; getHoveredLine(): GetHoveredLineResult<"file"> | undefined; } declare function renderFileChildren({ file, renderHeaderMetadata, renderAnnotation, lineAnnotations, renderHoverUtility, getHoveredLine }: RenderFileChildrenProps): ReactNode; //#endregion export { renderFileChildren }; //# sourceMappingURL=renderFileChildren.d.ts.map