From d5e9bc0b588b96d9de323bc50d1cac7c899a9763 Mon Sep 17 00:00:00 2001 From: bat Date: Fri, 5 May 2023 04:48:11 +0000 Subject: [PATCH] remove console.log --- code-edit.js | 3 --- 1 file changed, 3 deletions(-) diff --git a/code-edit.js b/code-edit.js index f1afc81..e873718 100644 --- a/code-edit.js +++ b/code-edit.js @@ -40,11 +40,9 @@ export class CodeEdit extends HTMLElement { } set fileType(value) { - console.log('filetype', value) this._fileType = value if (this.view) { const langPlugins = this.langPlugins - console.log({langPlugins}) this.view.dispatch({ effects: this.languageCompartment.reconfigure(langPlugins) @@ -75,7 +73,6 @@ export class CodeEdit extends HTMLElement { const cm = window.CodeMirrorBasic this.languageCompartment = new cm.Compartment() const langPlugins = this.langPlugins - console.log({langPlugins}) const basicSetup = [ cm.lineNumbers(), cm.highlightActiveLineGutter(),