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

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

commit 08fbbc255bff07f5fea3ebb16f281b22a57dd424
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>