From 1a999f47694f387a4f1d72196c972ceb4bdb467b Mon Sep 17 00:00:00 2001
From: nightwing <amirjanyan@gmail.com>
Date: Wed, 10 Aug 2016 14:33:29 +0400
Subject: [PATCH] remove extra padding when line numbers are hidden

---
 plugins/c9.ide.ace/ace.js     | 4 ++--
 plugins/c9.ide.ace/style.less | 9 +++++++++
 2 files changed, 11 insertions(+), 2 deletions(-)

diff --git a/plugins/c9.ide.ace/ace.js b/plugins/c9.ide.ace/ace.js
index 967538f8..3f896011 100644
--- a/plugins/c9.ide.ace/ace.js
+++ b/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);
diff --git a/plugins/c9.ide.ace/style.less b/plugins/c9.ide.ace/style.less
index 8d263c67..bd5e1d3c 100644
--- a/plugins/c9.ide.ace/style.less
+++ b/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);
 }