{"version":3,"file":"ResizeManager.d.ts","names":["ResizeManager","HTMLPreElement"],"sources":["../../src/managers/ResizeManager.d.ts"],"sourcesContent":["export declare class ResizeManager {\n    private observedNodes;\n    private queuedUpdates;\n    cleanUp(): void;\n    private resizeObserver;\n    setup(pre: HTMLPreElement, disableAnnotations: boolean): void;\n    private handleResizeObserver;\n    private handleColumnChange;\n    private applyNewHeight;\n}\n//# sourceMappingURL=ResizeManager.d.ts.map"],"mappings":";cAAqBA,aAAAA;EAAAA,QAAAA,aAAa;;;;aAKnBC"}