From cc6faeab50b386f83e0ece120811fe0102703476 Mon Sep 17 00:00:00 2001
From: Matthias Clasen <mclasen@redhat.com>
Date: Mon, 14 Sep 2020 16:21:13 -0400
Subject: [PATCH] gtk-demo: More space

Increase the inter-paragraph spacing in the info
text, to make paragraphs more clearly separated.
---
 demos/gtk-demo/main.ui | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/demos/gtk-demo/main.ui b/demos/gtk-demo/main.ui
index acc789d0ff..b685b93ce8 100644
--- a/demos/gtk-demo/main.ui
+++ b/demos/gtk-demo/main.ui
@@ -106,8 +106,9 @@
                         <property name="right-margin">20</property>
                         <property name="top-margin">20</property>
                         <property name="bottom-margin">20</property>
-                        <property name="pixels-above-lines">2</property>
-                        <property name="pixels-below-lines">2</property>
+                        <property name="pixels-above-lines">6</property>
+                        <property name="pixels-below-lines">6</property>
+                        <property name="monospace">0</property>
                         <property name="editable">0</property>
                         <property name="wrap-mode">word</property>
                         <property name="cursor-visible">0</property>