From f4aa4c384d71a2ee100a00fe9c46c929b1575bf3 Mon Sep 17 00:00:00 2001 From: bootstraponline Date: Wed, 6 Jun 2012 20:12:39 -0600 Subject: [PATCH] Allow disabling gutter. --- lib/ace/ext/static_highlight.js | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/lib/ace/ext/static_highlight.js b/lib/ace/ext/static_highlight.js index 407b2829..aca3fd9e 100644 --- a/lib/ace/ext/static_highlight.js +++ b/lib/ace/ext/static_highlight.js @@ -52,7 +52,7 @@ var baseStyles = require("../requirejs/text!./static.css"); * @returns {object} An object containing: html, css */ -exports.render = function(input, mode, theme, lineStart) { +exports.render = function(input, mode, theme, lineStart, disableGutter) { lineStart = parseInt(lineStart || 1, 10); var session = new EditSession(""); @@ -74,7 +74,8 @@ exports.render = function(input, mode, theme, lineStart) { for(var ix = 0; ix < length; ix++) { var lineTokens = session.getTokens(ix); stringBuilder.push("
"); - stringBuilder.push("" + (ix + lineStart) + ""); + if (!disableGutter) + stringBuilder.push("" + (ix + lineStart) + ""); textLayer.$renderLine(stringBuilder, 0, lineTokens, true); stringBuilder.push("
"); }