diff --git a/lib/ace/ext/static.css b/lib/ace/ext/static.css index bd479780..f82359da 100644 --- a/lib/ace/ext/static.css +++ b/lib/ace/ext/static.css @@ -20,4 +20,13 @@ -khtml-user-select: none; -webkit-user-select: none; user-select: none; -} \ No newline at end of file +} + + +.ace_static_highlight .ace_gutter-cell:before { + content: counter(ace_line, decimal); + counter-increment: ace_line; +} +.ace_static_highlight { + counter-reset: ace_line; +} diff --git a/lib/ace/ext/static_highlight.js b/lib/ace/ext/static_highlight.js index 56588f14..a3461424 100644 --- a/lib/ace/ext/static_highlight.js +++ b/lib/ace/ext/static_highlight.js @@ -160,14 +160,14 @@ highlight.renderSync = function(input, mode, theme, lineStart, disableGutter) { for(var ix = 0; ix < length; ix++) { stringBuilder.push("