From 6480d214ed7f0c167010a9168f1c9f1de6fdc41f Mon Sep 17 00:00:00 2001
From: Jonatan Heyman <jonatan@heyman.info>
Date: Wed, 12 Jul 2023 00:26:28 +0200
Subject: [PATCH] Turn off auto completion

---
 src/editor/setup.js | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/editor/setup.js b/src/editor/setup.js
index eec6d987..aca67759 100644
--- a/src/editor/setup.js
+++ b/src/editor/setup.js
@@ -60,7 +60,7 @@ const customSetup = /*@__PURE__*/(() => [
     syntaxHighlighting(defaultHighlightStyle, { fallback: true }),
     bracketMatching(),
     //closeBrackets(),
-    autocompletion(),
+    //autocompletion(),
     rectangularSelection(),
     crosshairCursor(),
     highlightActiveLine(),
@@ -73,8 +73,8 @@ const customSetup = /*@__PURE__*/(() => [
         ...searchKeymap,
         ...historyKeymap,
         ...foldKeymap,
-        ...completionKeymap,
-        ...lintKeymap
+        //...completionKeymap,
+        //...lintKeymap
     ])
 ])();
 /**