Jacky Zhao
2023-06-17 8bfee04c8c6948a88114d53769d4bb89b8ec7bf5
index.d.ts
@@ -5,7 +5,7 @@
// dom custom event
interface CustomEventMap {
  "spa_nav": CustomEvent<{ url: string }>;
  "nav": CustomEvent<{ url: string }>;
}
declare global {