[gtksourceview] styleschemepreview: tweak textview margins
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gtksourceview] styleschemepreview: tweak textview margins
- Date: Tue, 12 Oct 2021 18:50:06 +0000 (UTC)
commit a543d5fe4f5fb771d06b02916f4287040c84addb
Author: Christian Hergert <chergert redhat com>
Date: Tue Oct 12 11:41:05 2021 -0700
styleschemepreview: tweak textview margins
This is needed to align things closer to the design.
gtksourceview/gtksourcestyleschemepreview.c | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
---
diff --git a/gtksourceview/gtksourcestyleschemepreview.c b/gtksourceview/gtksourcestyleschemepreview.c
index 3ba6bffd..d0f6f528 100644
--- a/gtksourceview/gtksourcestyleschemepreview.c
+++ b/gtksourceview/gtksourcestyleschemepreview.c
@@ -187,9 +187,9 @@ gtk_source_style_scheme_preview_constructed (GObject *object)
"editable", FALSE,
"right-margin-position", 40,
"show-right-margin", TRUE,
- "top-margin", 9,
- "bottom-margin", 9,
- "left-margin", 0,
+ "top-margin", 6,
+ "bottom-margin", 6,
+ "left-margin", 3,
"width-request", 120,
"right-margin", 9,
"show-line-numbers", TRUE,
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]