From e2d564f81a611ace231ea0a0c1d8f81436f1a0d5 Mon Sep 17 00:00:00 2001
From: Marijn Haverbeke <marijn@haverbeke.berlin>
Date: Thu, 21 Nov 2024 11:02:42 +0100
Subject: [PATCH] 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
---
 package.json | 2 +-
 src/lint.ts  | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/package.json b/package.json
index 562a454..babe3ca 100644
--- a/package.json
+++ b/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": {
diff --git a/src/lint.ts b/src/lint.ts
index e5665f5..2836a5b 100644
--- a/src/lint.ts
+++ b/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),