[gnome-builder] minimap: give me my pixel back

[Christian Hergert <chergert src gnome org>]

commit 06071a9a687b5c05927ab0ed37a2da26e03c1a20
Author: Christian Hergert <christian hergert me>
Date:   Fri Apr 24 18:08:27 2015 -0700

    minimap: give me my pixel back
    
    It looked a bit too blocky when creating new files. I want it to be
    slightly bigger than on the left gutter, but not ridiculous.

 libide/ide-source-map.c |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/libide/ide-source-map.c b/libide/ide-source-map.c
index 3cbe71e..d8399bc 100644
--- a/libide/ide-source-map.c
+++ b/libide/ide-source-map.c
@@ -788,7 +788,7 @@ ide_source_map_init (IdeSourceMap *self)
    */
   gutter = gtk_source_view_get_gutter (self->child_view, GTK_TEXT_WINDOW_LEFT);
   renderer = g_object_new (IDE_TYPE_LINE_CHANGE_GUTTER_RENDERER,
-                           "size", 4,
+                           "size", 3,
                            "visible", TRUE,
                            NULL);
   gtk_source_gutter_insert (gutter, renderer, 0);