Update default indent to use spaces instead of tabs
This commit is contained in:
parent
1d1eedce7e
commit
550746b70e
1 changed files with 0 additions and 1 deletions
|
@ -369,7 +369,6 @@ var editor = CodeMirror.fromTextArea(textit, {
|
||||||
showCursorWhenSelecting: true,
|
showCursorWhenSelecting: true,
|
||||||
highlightSelectionMatches: true,
|
highlightSelectionMatches: true,
|
||||||
indentUnit: 4,
|
indentUnit: 4,
|
||||||
indentWithTabs: true,
|
|
||||||
continueComments: "Enter",
|
continueComments: "Enter",
|
||||||
theme: "one-dark",
|
theme: "one-dark",
|
||||||
inputStyle: "textarea",
|
inputStyle: "textarea",
|
||||||
|
|
Loading…
Reference in a new issue