diff --git a/static/js/editor.js b/static/js/editor.js index 9a5046d..e374c2a 100644 --- a/static/js/editor.js +++ b/static/js/editor.js @@ -167,6 +167,7 @@ var editors = { var editor = CodeMirror.fromTextArea(document.getElementById("editor" + id), { lineNumbers: true, + styleActiveLine: true, theme: 'lesser-dark', indentUnit: 4, extraKeys: { diff --git a/view/index.html b/view/index.html index 325f9ff..1f5aa5f 100644 --- a/view/index.html +++ b/view/index.html @@ -78,6 +78,7 @@ +