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