From a049e97e7f7808630251e9f0c86c80af9b2b6469 Mon Sep 17 00:00:00 2001 From: Liang Ding Date: Mon, 1 Sep 2014 14:04:05 +0800 Subject: [PATCH] =?UTF-8?q?=E9=AB=98=E4=BA=AE=E5=BD=93=E5=89=8D=E8=A1=8C?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- static/js/editor.js | 1 + view/index.html | 1 + 2 files changed, 2 insertions(+) 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 @@ +