Merge pull request #7896 from overleaf/td-lint-highlights-and-tooltips

Tweak linter highlights and tooltips GitOrigin-RevId: ca790647715af438a14f876ca45ecf5c927bb0b5
2022-05-12 08:04:49 +00:00
parent 6025d3571c
commit dca022af80
2 changed files with 10 additions and 12 deletions
@@ -51,7 +51,7 @@
    "@codemirror/commands": "^0.20.0",
    "@codemirror/lang-markdown": "^0.20.0",
    "@codemirror/language": "^0.20.0",
-    "@codemirror/lint": "^0.20.1",
+    "@codemirror/lint": "^0.20.2",
    "@codemirror/search": "^0.20.1",
    "@codemirror/state": "^0.20.0",
    "@codemirror/view": "^0.20.2",