From a08e7846a2693747aee2aeba9e44e79fed4bcfcf Mon Sep 17 00:00:00 2001

From: =?UTF-8?q?S=C3=A9bastien=20Wilmet?= <swilmet@gnome.org>

Date: Thu, 11 Jun 2015 16:40:38 +0200

Subject: [PATCH 12/26] Printing: set default margin-top to 15mm

25mm is too much for the top margin.

---

 data/org.gnome.gedit.gschema.xml.in | 2 +-

 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/data/org.gnome.gedit.gschema.xml.in b/data/org.gnome.gedit.gschema.xml.in

index c34e4db..a1fa8a3 100644

--- a/data/org.gnome.gedit.gschema.xml.in

+++ b/data/org.gnome.gedit.gschema.xml.in

@@ -228,7 +228,7 @@

       <description>The left margin, in millimeters.</description>

     </key>

     <key name="margin-top" type="d">

-      <default>25</default>

+      <default>15</default>

       <summary>Margin Top</summary>

       <description>The top margin, in millimeters.</description>

     </key>

-- 

1.8.3.1