[gnome-builder] gutter: tweak spacing around diagnostic icons
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder] gutter: tweak spacing around diagnostic icons
- Date: Fri, 29 Apr 2016 01:50:06 +0000 (UTC)
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]