From 9c69c9acd714bd10a8213fbe7c081bf8d4d940a1 Mon Sep 17 00:00:00 2001 From: yflory Date: Thu, 28 Feb 2019 18:08:48 +0100 Subject: [PATCH] Convert tabs to spaces in codemirror with the correct settings #324 --- www/common/sframe-common-codemirror.js | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/www/common/sframe-common-codemirror.js b/www/common/sframe-common-codemirror.js index 8ea515cc9..c4a18f4e0 100644 --- a/www/common/sframe-common-codemirror.js +++ b/www/common/sframe-common-codemirror.js @@ -360,6 +360,17 @@ define([ editor.setOption('indentUnit', units); editor.setOption('tabSize', units); editor.setOption('indentWithTabs', useTabs); + if (!useTabs) { + editor.setOption("extraKeys", { + Tab: function(cm) { + editor.replaceSelection(Array(units + 1).join(" ")); + } + }); + } else { + editor.setOption("extraKeys", { + Tab: undefined, + }); + } $('.CodeMirror').css('font-size', fontSize+'px'); };