From 01fc26d2c0453b5dec70669b8cadd0622b64036c Mon Sep 17 00:00:00 2001
From: MarcRez33 <59151753+MarcRez33@users.noreply.github.com>
Date: Sat, 31 Aug 2024 19:25:30 +0000
Subject: [PATCH] fix: Reload graph after a theme change (closes #1380) (#1383)
---
globals.d.ts | 4 ++++
1 files changed, 4 insertions(+), 0 deletions(-)
diff --git a/globals.d.ts b/globals.d.ts
index ee13005..6cf30f8 100644
--- a/globals.d.ts
+++ b/globals.d.ts
@@ -4,6 +4,10 @@
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 {
--
Gitblit v1.10.0