Mirrors/ICEcoder
2
0
Fork 0
mirror of https://github.com/icecoder/ICEcoder.git synced 2026-03-03 07:13:59 +01:00
Code Issues Packages Projects Releases Wiki Activity

lineNumbers controlled from JS var

Browse Source
This commit is contained in:
Matt Pass
2016-04-23 15:13:55 +01:00
parent 94fe55cc14
commit f8c1fbfbec
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
lib/backup-versions.php
View File

@@ -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,