Add a statusbar to the editor widget

1 files changed, 30 insertions, 0 deletions

diff --git a/js/codeq/editor.js b/js/codeq/editor.js
new file mode 100644
index 0000000..e7d15f9
--- /dev/null
+++ b/js/codeq/editor.js
@@ -0,0 +1,30 @@
+codeq.makeEditor = function (elt, options) {
+    var statusBar = document.createElement("div"),
+        updateStatusBar = function (pos) {
+            statusBar.innerHTML = 'line ' + (pos.line+1) + ', column ' + (pos.ch+1);
+        },
+        editor;
+
+    options.cursorHeight = 0.85;
+    options.lineNumbers = true;
+    options.matchBrackets = true;
+    options.extraKeys = {
+        // replace tabs with spaces
+        Tab: function (cm) {
+            var spaces = Array(cm.getOption("indentUnit") + 1).join(" ");
+            cm.replaceSelection(spaces);
+        }
+    };
+    editor = CodeMirror(elt, options),
+
+    statusBar.className = 'editor-statusbar';
+    updateStatusBar({line: 0, ch: 0});
+
+    editor.addPanel(statusBar, {position: 'bottom'});
+    editor.on('cursorActivity', function (instance) {
+        var pos = instance.getDoc().getCursor();
+        updateStatusBar(pos);
+    });
+
+    return editor;
+};