From fe2e16d937e2b57fb2bb1d10dea47db7256a4a49 Mon Sep 17 00:00:00 2001
From: Jacky Zhao <j.zhao2k19@gmail.com>
Date: Mon, 24 Mar 2025 01:08:07 +0000
Subject: [PATCH] fix: disallow user-select in popover

---
 globals.d.ts |   13 ++++++++++---
 1 files changed, 10 insertions(+), 3 deletions(-)

diff --git a/globals.d.ts b/globals.d.ts
index 6cc2479..6cf30f8 100644
--- a/globals.d.ts
+++ b/globals.d.ts
@@ -1,10 +1,17 @@
 export declare global {
   interface Document {
-    addEventListener<K extends keyof CustomEventMap>(type: K,
-      listener: (this: Document, ev: CustomEventMap[K]) => void): void;
-    dispatchEvent<K extends keyof CustomEventMap>(ev: CustomEventMap[K]): void;
+    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)
   }
 }

--
Gitblit v1.10.0