From 268f24905e4cc488c80f1d057451b6e528e3ff05 Mon Sep 17 00:00:00 2001
From: Timotej Lazar <timotej.lazar@araneo.org>
Date: Tue, 29 Sep 2015 11:10:05 +0200
Subject: Convert tab to 4 spaces in Python codemirror

---
 js/codeq/python.js | 15 ++++++++++++++-
 1 file changed, 14 insertions(+), 1 deletion(-)

(limited to 'js/codeq/python.js')

diff --git a/js/codeq/python.js b/js/codeq/python.js
index cf2199a..c58d7e6 100644
--- a/js/codeq/python.js
+++ b/js/codeq/python.js
@@ -217,7 +217,20 @@
             jqEditor = jqCode.find('.code_editor'),
             jqTerminal = jqConsole.find('.console'),
             jqHints = jqInfo.find('.hints'),
-            editor = CodeMirror(jqEditor[0], { cursorHeight: 0.85, lineNumbers: true, matchBrackets: true, mode: 'python' }),
+            editor = CodeMirror(jqEditor[0], {
+                cursorHeight: 0.85,
+                lineNumbers: true,
+                matchBrackets: true,
+                mode: 'python',
+                indentUnit: 4,
+                extraKeys: {
+                    // replace tabs with spaces
+                    Tab: function (cm) {
+                        var spaces = Array(cm.getOption("indentUnit") + 1).join(" ");
+                        cm.replaceSelection(spaces);
+                    }
+                }
+            }),
             activityHandler = makeActivityHandler(editor, problemDef.id),
             terminal = makePythonTerminalHandler(jqTerminal, editor, problemDef.id, activityHandler),
             hinter = codeq.makeHinter(jqHints, jqEditor, editor, 'python_hints', problemDef.hint, commonHints, problemDef.plan),
-- 
cgit v1.2.1