Add a setting to turn off linter by default

Since I've seen some exceptions from the linter, I thought it
might be nice to deploy with the linter off to see how things are
going.

Author: ericzundel

src/components/IdeEditor.jsx

@@ -242,9 +242,12 @@ export default function IdeEditor({ node }) {
             multiSelectAction: "forEach",
             scrollIntoView: "selectionPart",
         });
-        // Register the linter web worker with the ACE editor
-        const languageProvider = LanguageProvider.create(aceLinterWorker);
-        languageProvider.registerEditor(aceEditorRef.current.editor);
+
+        if (config.editor.linter) {
+            // Register the linter web worker with the ACE editor
+            const languageProvider = LanguageProvider.create(aceLinterWorker);
+            languageProvider.registerEditor(aceEditorRef.current.editor);
+        }
     }
 
     const title =

src/configs/editor.json

@@ -20,6 +20,11 @@
             "type": "string",
             "enum": ["auto", "unix", "windows"],
             "default": "auto"
+        },
+        "linter": {
+            "title": "Enable Linter",
+            "type": "boolean",
+            "default": false
         }
     }
 }