[gnome-builder] editor: make change gutter thinner.



commit c0bd2f470ee8a36656e71834275c9e76f32202a3
Author: Christian Hergert <christian hergert me>
Date:   Mon Sep 15 01:15:22 2014 -0700

    editor: make change gutter thinner.

 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 6a82a12..4bd36d0 100644
--- a/src/editor/gb-editor-tab.c
+++ b/src/editor/gb-editor-tab.c
@@ -1036,7 +1036,7 @@ gb_editor_tab_constructed (GObject *object)
     priv->change_renderer =
         g_object_new (GB_TYPE_SOURCE_CHANGE_GUTTER_RENDERER,
                       "change-monitor", priv->change_monitor,
-                      "size", 3,
+                      "size", 2,
                       "visible", TRUE,
                       "xpad", 3,
                       NULL);


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