[gedit] Printing: set default margin-top to 15mm

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

commit b64e2aa61a596f2aa44b83ba43dc9230a977ea9e
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 a7b1f76..ff2fbe6 100644
--- a/data/org.gnome.gedit.gschema.xml.in
+++ b/data/org.gnome.gedit.gschema.xml.in
@@ -243,7 +243,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>