add showLineNumbers fixes #1755, #892

lib/ace/editor.js

@@ -2423,6 +2423,7 @@ config.defineOptions(Editor.prototype, "editor", {
     printMargin: "renderer",
     fadeFoldWidgets: "renderer",
     showFoldWidgets: "renderer",
+    showLineNumbers: "renderer",
     showGutter: "renderer",
     displayIndentGuides: "renderer",
     fontSize: "renderer",

lib/ace/layer/gutter.js

@@ -129,7 +129,7 @@ var Gutter = function(parentEl) {
         var firstLineNumber = session.$firstLineNumber;
         var lastLineNumber = 0;
         
-        var gutterRenderer = session.gutterRenderer;
+        var gutterRenderer = session.gutterRenderer || this.$renderer;
 
         var cell = null;
         var index = -1;
@@ -231,6 +231,19 @@ var Gutter = function(parentEl) {
 
     this.$fixedWidth = false;
     
+    this.$showLineNumbers = true;
+    this.$renderer = "";
+    this.setShowLineNumbers = function(show) {
+        this.$renderer = !show && {
+            getWidth: function() {return ""},
+            getText: function() {return ""}
+        };
+    };
+    
+    this.getShowLineNumbers = function() {
+        return this.$showLineNumbers;
+    };
+    
     this.$showFoldWidgets = true;
     this.setShowFoldWidgets = function(show) {
         if (show)

lib/ace/virtual_renderer.js

@@ -1619,6 +1619,13 @@ config.defineOptions(VirtualRenderer.prototype, "renderer", {
         set: function(show) {this.$gutterLayer.setShowFoldWidgets(show)},
         initialValue: true
     },
+    showLineNumbers: {
+        set: function(show) {
+            this.$gutterLayer.setShowLineNumbers(show);
+            this.$loop.schedule(this.CHANGE_GUTTER);
+        },
+        initialValue: true
+    },
     displayIndentGuides: {
         set: function(show) {
             if (this.$textLayer.setDisplayIndentGuides(show))