Fix #243

2015-09-17 21:43:49 +08:00 · 2015-09-17 21:43:49 +08:00 · fd6636df3f
parent 08a7524ee0
commit fd6636df3f
2 changed files with 2 additions and 0 deletions
--- a/static/js/editors.js
+++ b/static/js/editors.js
@ -784,6 +784,7 @@ var editors = {
            theme: config.editorTheme,
            tabSize: config.editorTabSize,
            indentUnit: 4,
+            indentWithTabs: true,
            foldGutter: true,
            cursorHeight: 1,
            path: data.path,
--- a/static/js/playground.js
+++ b/static/js/playground.js
@ -187,6 +187,7 @@ var playground = {
            theme: "wide",
            tabSize: 4,
            indentUnit: 4,
+            indentWithTabs: true,
            foldGutter: true,
            cursorHeight: 1,
            viewportMargin: 500,