//#region src/managers/ScrollSyncManager.d.ts
declare class ScrollSyncManager {
  isDeletionsScrolling: boolean;
  isAdditionsScrolling: boolean;
  timeoutId: NodeJS.Timeout;
  codeDeletions: HTMLElement | undefined;
  codeAdditions: HTMLElement | undefined;
  private enabled;
  cleanUp(): void;
  setup(pre: HTMLPreElement, codeDeletions?: HTMLElement, codeAdditions?: HTMLElement): void;
  private handleDeletionsScroll;
  private handleAdditionsScroll;
}
//#endregion
export { ScrollSyncManager };
//# sourceMappingURL=ScrollSyncManager.d.ts.map