From f8c1fbfbec60c80ad4e4448ab00e6200ecf24b62 Mon Sep 17 00:00:00 2001 From: Matt Pass Date: Sat, 23 Apr 2016 15:13:55 +0100 Subject: [PATCH] lineNumbers controlled from JS var --- lib/backup-versions.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/backup-versions.php b/lib/backup-versions.php index 0d482a1..08adb09 100644 --- a/lib/backup-versions.php +++ b/lib/backup-versions.php @@ -94,7 +94,7 @@ var highlightVersion = function(elem) { } var editor = CodeMirror.fromTextArea(document.getElementById("code"), { - lineNumbers: true, + lineNumbers: top.ICEcoder.lineNumbers, readOnly: "nocursor", indentUnit: top.ICEcoder.indentSize, tabSize: top.ICEcoder.indentSize,