[gtksourceview] styleschemepreview: tweak gutter width and font sizing
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gtksourceview] styleschemepreview: tweak gutter width and font sizing
- Date: Tue, 12 Oct 2021 18:50:06 +0000 (UTC)
commit 98bd7a3f4187f918548b16559ddf42af44d5442c
Author: Christian Hergert <chergert redhat com>
Date: Tue Oct 12 11:42:11 2021 -0700
styleschemepreview: tweak gutter width and font sizing
This makes the fonts closer to the design, while avoiding the rendering
artifacts that can come from various alignment issues. We also tweak the
padding so that things align more closely to the designs.
gtksourceview/gtksourcestyleschemepreview.c | 13 ++++++++++++-
1 file changed, 12 insertions(+), 1 deletion(-)
---
diff --git a/gtksourceview/gtksourcestyleschemepreview.c b/gtksourceview/gtksourcestyleschemepreview.c
index d0f6f528..92454b92 100644
--- a/gtksourceview/gtksourcestyleschemepreview.c
+++ b/gtksourceview/gtksourcestyleschemepreview.c
@@ -103,7 +103,18 @@ load_override_font (GtkSourceView *view)
#endif
css_provider = gtk_css_provider_new ();
- gtk_css_provider_load_from_data (css_provider, "textview, textview text { font-family:
BuilderBlocks; font-size: 4px; }", -1);
+ gtk_css_provider_load_from_data (css_provider, "\
+textview, textview text\n\
+{\n\
+ font-family: BuilderBlocks;\n\
+ font-size: 4px;\n\
+ line-height: 8px;\n\
+}\n\
+textview border.left gutter\n\
+{\n\
+ padding-left: 2px;\n\
+}\n\
+", -1);
g_once_init_leave (&initialized, TRUE);
}
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]