[gtk+] Make the text look a bit nicer

[Matthias Clasen <matthiasc src gnome org>]

commit e975f10c7fedafb815206d7ae80872b60874f26a
Author: Matthias Clasen <mclasen redhat com>
Date:   Fri Feb 1 21:56:25 2013 -0500

    Make the text look a bit nicer
    
    Add a margin around the text, and some space between the title
    and the body of the info tab.

 demos/gtk-demo/main.c |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/demos/gtk-demo/main.c b/demos/gtk-demo/main.c
index 80a51bc..1d185e4 100644
--- a/demos/gtk-demo/main.c
+++ b/demos/gtk-demo/main.c
@@ -714,6 +714,7 @@ create_text (GtkTextBuffer **buffer,
                                        GTK_SHADOW_IN);
 
   text_view = gtk_text_view_new ();
+  g_object_set (text_view, "margin", 20, NULL);
 
   *buffer = gtk_text_buffer_new (NULL);
   gtk_text_view_set_buffer (GTK_TEXT_VIEW (text_view), *buffer);
@@ -903,6 +904,7 @@ main (int argc, char **argv)
 
   gtk_text_buffer_create_tag (info_buffer, "title",
                               "font", "Sans 18",
+                              "pixels-below-lines", 10,
                               NULL);
   g_object_unref (info_buffer);