From 17b4805033b3ea81dec29d513e56a324f1688c4c Mon Sep 17 00:00:00 2001
From: Raphael Forment <raphael.forment@gmail.com>
Date: Fri, 8 Sep 2023 17:44:46 +0200
Subject: [PATCH] ignore..

---
 src/documentation/inlineHelp.ts | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/documentation/inlineHelp.ts b/src/documentation/inlineHelp.ts
index a186ce0..3afcefe 100644
--- a/src/documentation/inlineHelp.ts
+++ b/src/documentation/inlineHelp.ts
@@ -657,6 +657,7 @@ export const inlineHoveringTips = hoverTooltip(
       pos: start,
       end,
       above: true,
+      // @ts-ignore
       create(view: EditorView) {
         if (
           text.slice(start - from, end - from) in completionDatabase ===