/** * @param {object} options * @param {string} options.inputDir * @param {(sourceFilePath: string) => string} options.getSourceFilePathFromUrl * @param {(sourceFilePath: string) => string} options.getOutputFilePath * @param {import('../web-menu/PageTree.js').PageTree} options.pageTree * @param {(options: { sourceFilePath: String; rocketHeader?: RocketHeader; throwOnError?: boolean }) => Promise} options.renderFile * @param {(options?: { triggerSourceFilePath?: string, deleteOtherFiles?: boolean}) => void} options.renderAllOpenedFiles * @param {{ inputDir: string; longFileHeaderWidth: number; longFileHeaderComment: string; }} options._rocketHeaderDefaults * @returns {import('../../types/main.js').DevServerPlugin} */ export function devServerRegisterTab({ inputDir, getSourceFilePathFromUrl, getOutputFilePath, pageTree, renderFile, renderAllOpenedFiles, _rocketHeaderDefaults, }: { inputDir: string; getSourceFilePathFromUrl: (sourceFilePath: string) => string; getOutputFilePath: (sourceFilePath: string) => string; pageTree: import('../web-menu/PageTree.js').PageTree; renderFile: (options: { sourceFilePath: string; rocketHeader?: RocketHeader; throwOnError?: boolean; }) => Promise; renderAllOpenedFiles: (options?: { triggerSourceFilePath?: string; deleteOtherFiles?: boolean; }) => void; _rocketHeaderDefaults: { inputDir: string; longFileHeaderWidth: number; longFileHeaderComment: string; }; }): import('../../types/main.js').DevServerPlugin; import { RocketHeader } from "../file-header/RocketHeader.js"; //# sourceMappingURL=devServerRegisterTab.d.ts.map