add submissions.

2023-01-15 17:12:07 +08:00
parent a62f744a9a
commit eaa5a8516e
34 changed files with 1652 additions and 1592 deletions
--- a/src/shims.d.ts
+++ b/src/shims.d.ts
@@ -1,15 +1,18 @@
-import type * as Monaco from "monaco-editor"
-
-declare module "element-plus/dist/locale/zh-cn.mjs"
-
-declare module "*.md" {
-  import type { ComponentOptions } from "vue"
-  const Component: ComponentOptions
-  export default Component
-}
-
-declare global {
-  interface Window {
-    monaco: Monaco
-  }
-}
+declare module "element-plus/dist/locale/zh-cn.mjs"
+
+declare module "*.md" {
+  import type { ComponentOptions } from "vue"
+  const Component: ComponentOptions
+  export default Component
+}
+
+declare global {
+  let monaco: Monaco
+  interface Window {
+    monaco: Monaco
+  }
+}
+
+interface Window {
+  monaco: Monaco
+}