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',