[gnome-builder] change-gutter: reduce padding on source change gutter.



commit b8abddcd76e3e3e3602b8fe34af5b0fa58a860f7
Author: Christian Hergert <christian hergert me>
Date:   Sun Sep 21 23:43:26 2014 -0700

    change-gutter: reduce padding on source change gutter.

 src/editor/gb-editor-tab.c |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/src/editor/gb-editor-tab.c b/src/editor/gb-editor-tab.c
index f3792c6..7219762 100644
--- a/src/editor/gb-editor-tab.c
+++ b/src/editor/gb-editor-tab.c
@@ -1051,7 +1051,7 @@ gb_editor_tab_constructed (GObject *object)
                       "change-monitor", priv->change_monitor,
                       "size", 2,
                       "visible", TRUE,
-                      "xpad", 3,
+                      "xpad", 1,
                       NULL);
     gtk_source_gutter_insert (gutter, priv->change_renderer, 0);
   }


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]