remove extra padding when line numbers are hidden

plugins/c9.ide.ace/ace.js

@@ -601,7 +601,7 @@ define(function(require, exports, module) {
                             items: [
                                 new MenuItem({
                                     position: 10,
-                                    caption: "Show Line Number",
+                                    caption: "Show Line Numbers",
                                     type: "check",
                                     checked: "user/ace/@showLineNumbers"
                                 }, handle),
@@ -2231,7 +2231,7 @@ define(function(require, exports, module) {
                             gutterRenderer = null;
                         else
                             gutterRenderer = noNumbers;
-                        
+                        dom.setCssClass(renderer.$gutter, "ace_gutter-compact", !value);
                         renderer.$gutterLayer.$renderer = gutterRenderer;
                         if (gutterRenderer && gutterRenderer.attach)
                             gutterRenderer.attach(ace);

plugins/c9.ide.ace/style.less

@@ -26,6 +26,15 @@
     z-index : -1;
 }
 
+.ace_gutter-compact:not(.ace_folding-enabled) > .ace_gutter-layer > .ace_gutter-cell {
+    padding-left: 15px!important;
+    padding-right: 5px!important;
+}
+.ace_gutter-compact.ace_folding-enabled > .ace_gutter-layer > .ace_gutter-cell {
+    padding-left: 16px!important;
+    padding-right: 12px!important;
+}
+
 .dark .ace_gutter .ace_gutter_active_line {
     background-color: rgba(255, 255, 255, 0.07);
 }