diff options
author | Wu Cheng-Han | 2016-10-10 20:46:06 +0800 |
---|---|---|
committer | Wu Cheng-Han | 2016-10-10 20:46:06 +0800 |
commit | 550746b70edb13fdd6eafecfe48af5c5b57db2ee (patch) | |
tree | 9bc5b44c9966f922bbbc57f03fbeb5bd6f45d7f0 /public | |
parent | 1d1eedce7ee8c2bd776b45afc2ccb5d626394db4 (diff) |
Update default indent to use spaces instead of tabs
Diffstat (limited to 'public')
-rw-r--r-- | public/js/index.js | 1 |
1 files changed, 0 insertions, 1 deletions
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", |