[gedit/gnome-3-14] Printing: set default margin-top to 15mm

[Sébastien Wilmet <swilmet src gnome org>]

commit a08e7846a2693747aee2aeba9e44e79fed4bcfcf
Author: Sébastien Wilmet <swilmet gnome org>
Date:   Thu Jun 11 16:40:38 2015 +0200

    Printing: set default margin-top to 15mm
    
    25mm is too much for the top margin.

 data/org.gnome.gedit.gschema.xml.in |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
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>