diff options
author | Marko Pušnik <marko.pusnik@guru.si> | 2015-09-29 16:06:52 +0200 |
---|---|---|
committer | Marko Pušnik <marko.pusnik@guru.si> | 2015-09-29 16:06:52 +0200 |
commit | 163dd5a445910ac7ba19e0e291d1f04c20d9861d (patch) | |
tree | a3e1b1d6ebd07f8d0b5e54c2163f743b7a153f02 /js/codeq/editor.js | |
parent | 91f3b77d4743731b6f0b2f282a592752565d7d74 (diff) | |
parent | b2983855ea01fd04a8ba53099d2d5ee7ebed31f9 (diff) |
Merge branch 'master' of ssh://212.235.189.51:22122/codeq-web
Diffstat (limited to 'js/codeq/editor.js')
-rw-r--r-- | js/codeq/editor.js | 30 |
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; +}; |