fix colors in infoview

hhu-adam · Jul 29, 2024 · 3867782 · 3867782
1 parent e718100
commit 3867782
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 6 deletions.
diff --git a/demo/src/LeanMonaco.tsx b/demo/src/LeanMonaco.tsx
@@ -12,7 +12,7 @@ function LeanMonacoComponent({options} : {options: LeanMonacoOptions}) {
     ;(async () => {
         await leanMonaco.start(options)
         leanMonaco.setInfoviewElement(infoviewRef.current!)
-        await leanMonacoEditor.start(codeviewRef.current!, `/project/test${Math.random()}.lean`, '#check Nat')
+        await leanMonacoEditor.start(codeviewRef.current!, `/project/test.lean`, '#check Nat')
     })()
 
     return () => {

diff --git a/src/infowebview.ts b/src/infowebview.ts
@@ -79,14 +79,13 @@ export class IFrameInfoWebviewFactory implements InfoWebviewFactory {
 
     private updateCssVars() {
         const theme = this.themeService.getColorTheme();
-        const vscodeColors = ((colorUtils as any).getColorRegistry().getColors() as Array<{id:string}>).reduce<string>((colors, entry) => {
+        const documentStyle = this.iframe.contentDocument?.documentElement.style;
+        for (const entry of ((colorUtils as any).getColorRegistry().getColors() as Array<{id:string}>)) {
             const color = theme.getColor(entry.id);
             if (color) {
-                colors = colors + '--vscode-' + entry.id.replace('.', '-') + ': ' + color.toString() + "; ";
+                documentStyle?.setProperty('--vscode-' + entry.id.replace('.', '-'), color.toString());
             }
-            return colors
-        }, '');
-        this.iframe.contentDocument?.documentElement.setAttribute('style', vscodeColors)
+        }
         this.iframe.contentDocument?.documentElement.setAttribute('class', this.apiThemeClassName(theme))
     }
 

diff --git a/src/leanmonaco.ts b/src/leanmonaco.ts
@@ -200,6 +200,7 @@ export class LeanMonaco {
             "configuration": "./language-configuration.json"
           }
         ],
+        colors: packageJson.contributes.colors as any,
         "grammars": [
           {
             "language": "lean4",