Set clip: false on gutter tooltips

FIX: Fix an issue that prevented tooltips in the lint gutter from being
displayed.

See https://discuss.codemirror.net/t/issues-with-tooltip-above-below-calculation/8779/4

Author: marijnh

package.json

@@ -27,7 +27,7 @@
   "license": "MIT",
   "dependencies": {
     "@codemirror/state": "^6.0.0",
-    "@codemirror/view": "^6.0.0",
+    "@codemirror/view": "^6.35.0",
     "crelt": "^1.0.5"
   },
   "devDependencies": {

src/lint.ts

@@ -765,6 +765,7 @@ function gutterMarkerMouseOver(view: EditorView, marker: HTMLElement, diagnostic
       view.dispatch({effects: setLintGutterTooltip.of({
         pos: line.from,
         above: false,
+        clip: false,
         create() {
           return {
             dom: diagnosticsTooltip(view, diagnostics),