From 5480269d38ffaff7ffd6576d9a9407430429fb2d Mon Sep 17 00:00:00 2001
From: Jacky Zhao <j.zhao2k19@gmail.com>
Date: Sun, 09 Mar 2025 21:58:26 +0000
Subject: [PATCH] perf(explorer): client side explorer (#1810)
---
index.d.ts | 1 +
1 files changed, 1 insertions(+), 0 deletions(-)
diff --git a/index.d.ts b/index.d.ts
index a6c594f..8e524af 100644
--- a/index.d.ts
+++ b/index.d.ts
@@ -5,6 +5,7 @@
// dom custom event
interface CustomEventMap {
+ prenav: CustomEvent<{}>
nav: CustomEvent<{ url: FullSlug }>
themechange: CustomEvent<{ theme: "light" | "dark" }>
}
--
Gitblit v1.10.0