diff --git a/static/js/editors.js b/static/js/editors.js index 95fb558..5186108 100644 --- 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, diff --git a/static/js/playground.js b/static/js/playground.js index b3f6737..2ff3338 100644 --- 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,