{"version":3,"file":"ScrollSyncManager.d.ts","names":["ScrollSyncManager","NodeJS","Timeout","HTMLElement","HTMLPreElement"],"sources":["../../src/managers/ScrollSyncManager.d.ts"],"sourcesContent":["export declare class ScrollSyncManager {\n    isDeletionsScrolling: boolean;\n    isAdditionsScrolling: boolean;\n    timeoutId: NodeJS.Timeout;\n    codeDeletions: HTMLElement | undefined;\n    codeAdditions: HTMLElement | undefined;\n    private enabled;\n    cleanUp(): void;\n    setup(pre: HTMLPreElement, codeDeletions?: HTMLElement, codeAdditions?: HTMLElement): void;\n    private handleDeletionsScroll;\n    private handleAdditionsScroll;\n}\n//# sourceMappingURL=ScrollSyncManager.d.ts.map"],"mappings":";cAAqBA,iBAAAA;EAAAA,oBAAiB,EAAA,OAAA;EAGvBC,oBAAOC,EAAAA,OAAAA;EACHC,SAAAA,EADJF,MAAAA,CAAOC,OACHC;EACAA,aAAAA,EADAA,WACAA,GAAAA,SAAAA;EAGJC,aAAAA,EAHID,WAGJC,GAAAA,SAAAA;EAAgCD,QAAAA,OAAAA;EAA6BA,OAAAA,CAAAA,CAAAA,EAAAA,IAAAA;EAAW,KAAA,CAAA,GAAA,EAAxEC,cAAwE,EAAA,aAAA,CAAA,EAAxCD,WAAwC,EAAA,aAAA,CAAA,EAAXA,WAAW,CAAA,EAAA,IAAA"}