Convert tabs to spaces in codemirror with the correct settings #324

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');
             };