Remove underline from diagnostic source

2023-05-01 13:15:41 -04:00
parent 4966a4a681
commit 40ab5c1fb9
1 changed files with 1 additions and 1 deletions
@@ -40,7 +40,7 @@ export default function HoverPopover(colorScheme: ColorScheme) {
            padding: { top: 4 },
        },
        prose: text(layer, "sans", { size: "sm" }),
-        diagnosticSourceHighlight: { underline: true, color: foreground(layer, "accent") },
+        diagnosticSourceHighlight: { color: foreground(layer, "accent") },
        highlight: colorScheme.ramps.neutral(0.5).alpha(0.2).hex(), // TODO: blend was used here. Replace with something better
    }
 }