feat: add background color to penrose display (#45)

leanprover-community · Feb 17, 2024 · dfb5ad6 · dfb5ad6
1 parent f5b2b6f
commit dfb5ad6
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/widget/src/penroseDisplay.tsx b/widget/src/penroseDisplay.tsx
@@ -44,6 +44,7 @@ export default function(props: DiagramData & {pos: DocumentPosition}): JSX.Eleme
         )
 
     const colForeground = getCssColour('--vscode-editor-foreground')
+    const colBackground = getCssColour('--vscode-editor-background')
     const colTooltipBackground = getCssColour('--vscode-editorHoverWidget-background')
     const colTooltipForeground = getCssColour('--vscode-editorHoverWidget-foreground')
     const colTooltipBorder = getCssColour('--vscode-editorHoverWidget-border')
@@ -52,6 +53,7 @@ export default function(props: DiagramData & {pos: DocumentPosition}): JSX.Eleme
 `
 theme {
     color foreground = ${colForeground}
+    color background = ${colBackground}
     color tooltipBackground = ${colTooltipBackground}
     color tooltipForeground = ${colTooltipForeground}
     color tooltipBorder = ${colTooltipBorder}