globals.d.ts

export declare global {
  interface Document {
    addEventListener<K extends keyof CustomEventMap>(
      type: K,
      listener: (this: Document, ev: CustomEventMap[K]) => void,
    ): void
    removeEventListener<K extends keyof CustomEventMap>(
      type: K,
      listener: (this: Document, ev: CustomEventMap[K]) => void,
    ): void
    dispatchEvent<K extends keyof CustomEventMap>(ev: CustomEventMap[K] | UIEvent): void
  }
  interface Window {
    spaNavigate(url: URL, isBack: boolean = false)
    addCleanup(fn: (...args: any[]) => void)
    posthog?: {
      capture: (event: string, properties?: Record<string, any>) => void
      identify: (userId: string, properties?: Record<string, any>) => void
      reset: () => void
    }
    // PDF.js and annotation viewer state
    pdfjsLib?: any
    currentPdfDocument?: any
    currentPdfUrl?: string | null
    pdfTextData?: any[]
    pdfScale?: number
    annotationsData?: any[]
    renderHighlights?: (annotationId: string) => void
    renderAllHighlights?: () => void
    setActiveHighlight?: (annotationId: string) => void
  }
}