[gtk/demo-polish: 5/5] gtk-demo: Make source formatting uniform

[Matthias Clasen <matthiasc src gnome org>]

commit 7f565806a8266bf96a6d36006cf224d5ad1bb933
Author: Matthias Clasen <mclasen redhat com>
Date:   Sun Aug 9 00:03:43 2020 -0400

    gtk-demo: Make source formatting uniform
    
    Give the text view in the source tab the same
    formatting as tabs we add for extra sources.

 demos/gtk-demo/main.ui | 4 ++++
 1 file changed, 4 insertions(+)
---
diff --git a/demos/gtk-demo/main.ui b/demos/gtk-demo/main.ui
index 5d97687ab8..8ea11ab795 100644
--- a/demos/gtk-demo/main.ui
+++ b/demos/gtk-demo/main.ui
@@ -134,6 +134,10 @@
                         <property name="bottom-margin">20</property>
                         <property name="editable">0</property>
                         <property name="cursor-visible">0</property>
+                        <property name="monospace">1</property>
+                        <property name="wrap-mode">word</property>
+                        <property name="pixels-above-lines">2</property>
+                        <property name="pixels-below-lines">2</property>
                       </object>
                     </child>
                   </object>