Remove underline from lint range highlight (#20243)

GitOrigin-RevId: 29c91fa8297cb92ceba3a088bff22c847b73455d

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