This commit is contained in:
parent
e85efcd1b1
commit
67a1e39bd1
|
@ -109,6 +109,7 @@ var editors = {
|
||||||
var editor = CodeMirror.fromTextArea(document.getElementById("editor" + id), {
|
var editor = CodeMirror.fromTextArea(document.getElementById("editor" + id), {
|
||||||
lineNumbers: true,
|
lineNumbers: true,
|
||||||
theme: 'lesser-dark',
|
theme: 'lesser-dark',
|
||||||
|
indentUnit: 4,
|
||||||
extraKeys: {
|
extraKeys: {
|
||||||
"Ctrl-\\": "autocomplete"
|
"Ctrl-\\": "autocomplete"
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in New Issue