[gnome-builder] editor: make change gutter thinner.
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder] editor: make change gutter thinner.
- Date: Mon, 15 Sep 2014 08:15:28 +0000 (UTC)
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]