[gnome-builder] change-gutter: reduce padding on source change gutter.
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder] change-gutter: reduce padding on source change gutter.
- Date: Mon, 22 Sep 2014 06:43:33 +0000 (UTC)
commit b8abddcd76e3e3e3602b8fe34af5b0fa58a860f7
Author: Christian Hergert <christian hergert me>
Date: Sun Sep 21 23:43:26 2014 -0700
change-gutter: reduce padding on source change gutter.
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 f3792c6..7219762 100644
--- a/src/editor/gb-editor-tab.c
+++ b/src/editor/gb-editor-tab.c
@@ -1051,7 +1051,7 @@ gb_editor_tab_constructed (GObject *object)
"change-monitor", priv->change_monitor,
"size", 2,
"visible", TRUE,
- "xpad", 3,
+ "xpad", 1,
NULL);
gtk_source_gutter_insert (gutter, priv->change_renderer, 0);
}
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]