From 550746b70edb13fdd6eafecfe48af5c5b57db2ee Mon Sep 17 00:00:00 2001 From: Wu Cheng-Han Date: Mon, 10 Oct 2016 20:46:06 +0800 Subject: [PATCH] Update default indent to use spaces instead of tabs --- public/js/index.js | 1 - 1 file changed, 1 deletion(-) diff --git a/public/js/index.js b/public/js/index.js index 575baca2..a50dacaa 100644 --- a/public/js/index.js +++ b/public/js/index.js @@ -369,7 +369,6 @@ var editor = CodeMirror.fromTextArea(textit, { showCursorWhenSelecting: true, highlightSelectionMatches: true, indentUnit: 4, - indentWithTabs: true, continueComments: "Enter", theme: "one-dark", inputStyle: "textarea",