use static urls for progress svgs

hhu-adam · Aug 2, 2024 · 37ebd0b · 37ebd0b
1 parent a75786e
commit 37ebd0b
Showing 1 changed file with 9 additions and 1 deletion.
diff --git a/src/leanmonaco.ts b/src/leanmonaco.ts
@@ -143,7 +143,15 @@ export type LeanMonacoOptions = {
       checkLean4ProjectPreconditions
     )
 
-    this.taskGutter = new LeanTaskGutter(this.clientProvider, {asAbsolutePath: (path: string) => Uri.parse(`${new URL('vscode-lean4/vscode-lean4/' + path, import.meta.url)}`),} as any)
+    const asAbsolutePath = (path: string) => {
+      switch (path) {
+        case "media/progress-light.svg":       return Uri.parse(`${new URL('vscode-lean4/vscode-lean4/media/progress-light.svg', import.meta.url)}`)
+        case "media/progress-dark.svg":        return Uri.parse(`${new URL('vscode-lean4/vscode-lean4/media/progress-dark.svg', import.meta.url)}`)
+        case "media/progress-error-light.svg": return Uri.parse(`${new URL('vscode-lean4/vscode-lean4/media/progress-error-light.svg', import.meta.url)}`)
+        case "media/progress-error-dark.svg":  return Uri.parse(`${new URL('vscode-lean4/vscode-lean4/media/progress-error-dark.svg', import.meta.url)}`)
+      }
+    }
+    this.taskGutter = new LeanTaskGutter(this.clientProvider, {asAbsolutePath} as any)
 
     const fontFile = new FontFace(
       "JuliaMono",