[gtk+/wip/matthiasc/shadertoy] Cosmetic improvements

[Matthias Clasen <matthiasc src gnome org>]

commit d7de55f5bdb75d2c026df52c4cd91db0439be775
Author: Matthias Clasen <mclasen redhat com>
Date:   Sun Sep 24 01:03:18 2017 -0400

    Cosmetic improvements
    
    Add a close button, and some margins.

 demos/gtk-demo/shadertoy.ui |    5 +++++
 1 files changed, 5 insertions(+), 0 deletions(-)
---
diff --git a/demos/gtk-demo/shadertoy.ui b/demos/gtk-demo/shadertoy.ui
index 7576496..a752180 100644
--- a/demos/gtk-demo/shadertoy.ui
+++ b/demos/gtk-demo/shadertoy.ui
@@ -7,6 +7,7 @@
     <child type="titlebar">
       <object class="GtkHeaderBar">
         <property name="title" translatable="yes">Shadertoy</property>
+        <property name="show-close-button">1</property>
         <child>
           <object class="GtkButton" id="run">
             <property name="icon-name">media-playback-start-symbolic</property>
@@ -24,6 +25,10 @@
             <child>
               <object class="GtkTextView" id="text">
                 <property name="buffer">buffer</property>
+                <property name="top-margin">10</property>
+                <property name="bottom-margin">10</property>
+                <property name="left-margin">10</property>
+                <property name="right-margin">10</property>
               </object>
             </child>
           </object>