Add a statusbar to the editor widget

1 files changed, 2 insertions, 12 deletions

diff --git a/js/codeq/python.js b/js/codeq/python.js
index 4724982..e20fe06 100644
--- a/js/codeq/python.js
+++ b/js/codeq/python.js
@@ -217,19 +217,9 @@
             jqEditor = jqCode.find('.code_editor'),
             jqTerminal = jqConsole.find('.console'),
             jqHints = jqInfo.find('.hints'),
-            editor = CodeMirror(jqEditor[0], {
-                cursorHeight: 0.85,
-                lineNumbers: true,
-                matchBrackets: true,
+            editor = codeq.makeEditor(jqEditor[0], {
                 mode: 'python',
-                indentUnit: 4,
-                extraKeys: {
-                    // replace tabs with spaces
-                    Tab: function (cm) {
-                        var spaces = Array(cm.getOption("indentUnit") + 1).join(" ");
-                        cm.replaceSelection(spaces);
-                    }
-                }
+                indentUnit: 4
             }),
             activityHandler = makeActivityHandler(editor, problemDef.id),
             terminal = makePythonTerminalHandler(jqTerminal, editor, problemDef.id, activityHandler),