lineNumbers controlled from JS var

mattpass · mattpass · commit f8c1fbfbec60 · 2016-04-23T15:13:55.000+01:00
diff --git a/lib/backup-versions.php b/lib/backup-versions.php
@@ -94,7 +94,7 @@
 }
 
 var editor = CodeMirror.fromTextArea(document.getElementById("code"), {
-	lineNumbers: true,
+	lineNumbers: top.ICEcoder.lineNumbers,
 	readOnly: "nocursor",
 	indentUnit: top.ICEcoder.indentSize,
 	tabSize: top.ICEcoder.indentSize,

Original file line number	Diff line number	Diff line change
`@@ -94,7 +94,7 @@`
`94`	`94`	`}`
`95`	`95`
`96`	`96`	`var editor = CodeMirror.fromTextArea(document.getElementById("code"), {`
`97`		`- lineNumbers: true,`
	`97`	`+ lineNumbers: top.ICEcoder.lineNumbers,`
`98`	`98`	`readOnly: "nocursor",`
`99`	`99`	`indentUnit: top.ICEcoder.indentSize,`
`100`	`100`	`tabSize: top.ICEcoder.indentSize,`