[gnome-builder] gutter: tweak spacing around diagnostic icons



commit 04ca126914e0f326cedc47f918c8ef4a082b13f8
Author: Christian Hergert <christian hergert me>
Date:   Thu Apr 28 18:49:50 2016 -0700

    gutter: tweak spacing around diagnostic icons
    
    These are a little crammed. Sort of annoying to burn an extra 4 pixels,
    but this is the type of thing we'll fix later with an omni-gutter-renderer
    to be more compact.

 libide/ide-source-view.c |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/libide/ide-source-view.c b/libide/ide-source-view.c
index ded4f01..49e46bc 100644
--- a/libide/ide-source-view.c
+++ b/libide/ide-source-view.c
@@ -4191,6 +4191,7 @@ ide_source_view_constructed (GObject *object)
   priv->line_diagnostics_renderer = g_object_new (IDE_TYPE_LINE_DIAGNOSTICS_GUTTER_RENDERER,
                                                   "size", 16,
                                                   "visible", visible,
+                                                  "xpad", 2,
                                                   NULL);
   g_object_ref (priv->line_diagnostics_renderer);
   gtk_source_gutter_insert (gutter, priv->line_diagnostics_renderer, -100);


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