From 0230a296ac921c78ed4d4473f8949c5e79c111a8 Mon Sep 17 00:00:00 2001 From: Alf Eaton Date: Thu, 12 Sep 2024 09:40:34 +0100 Subject: [PATCH] Remove underline from lint range highlight (#20243) GitOrigin-RevId: 29c91fa8297cb92ceba3a088bff22c847b73455d --- .../frontend/js/features/source-editor/extensions/theme.ts | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/services/web/frontend/js/features/source-editor/extensions/theme.ts b/services/web/frontend/js/features/source-editor/extensions/theme.ts index 6a60fd6a09..105bb9efd0 100644 --- a/services/web/frontend/js/features/source-editor/extensions/theme.ts +++ b/services/web/frontend/js/features/source-editor/extensions/theme.ts @@ -125,6 +125,10 @@ const baseTheme = EditorView.baseTheme({ '.cm-lineNumbers': { fontFamily: 'var(--source-font-family)', }, + // double the specificity to override the underline squiggle + '.cm-lintRange.cm-lintRange': { + backgroundImage: 'none', + }, // use a background color for lint error ranges '.cm-lintRange-error': { padding: 'var(--half-leading, 0) 0',