ignore..

2023-09-08 17:44:46 +02:00
parent c9b5fb7f3a
commit 17b4805033
1 changed files with 1 additions and 0 deletions
--- 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 ===