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
---
index.d.ts | 5 ++++-
1 files changed, 4 insertions(+), 1 deletions(-)
diff --git a/index.d.ts b/index.d.ts
index 4a93f16..07f8082 100644
--- a/index.d.ts
+++ b/index.d.ts
@@ -5,7 +5,10 @@
// dom custom event
interface CustomEventMap {
- nav: CustomEvent<{ url: CanonicalSlug }>
+ prenav: CustomEvent<{}>
+ nav: CustomEvent<{ url: FullSlug }>
+ themechange: CustomEvent<{ theme: "light" | "dark" }>
}
+type ContentIndex = Record<FullSlug, ContentDetails>
declare const fetchData: Promise<ContentIndex>
--
Gitblit v1.10.0