[devhelp] Set better default GSettings values

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

commit b8b841e82174a8e72f5f2400523faefc191de996
Author: Sébastien Wilmet <swilmet gnome org>
Date:   Thu Mar 8 07:32:10 2018 +0100

    Set better default GSettings values
    
    The main window was very small by default. Set the size to 1000x500
    (it's anyway clamped to the monitor size if the size is too large).

 data/org.gnome.devhelp.gschema.xml |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/data/org.gnome.devhelp.gschema.xml b/data/org.gnome.devhelp.gschema.xml
index 8061f49..030f95c 100644
--- a/data/org.gnome.devhelp.gschema.xml
+++ b/data/org.gnome.devhelp.gschema.xml
@@ -19,7 +19,7 @@
       <description>Whether the main window should start maximized.</description>
     </key>
     <key name="width" type="i">
-      <default>700</default>
+      <default>1000</default>
       <summary>Width of the main window</summary>
       <description>The width of the main window.</description>
     </key>
@@ -31,7 +31,7 @@
   </schema>
   <schema id="org.gnome.devhelp.state.main.paned" path="/org/gnome/devhelp/state/main/paned/">
     <key name="position" type="i">
-      <default>250</default>
+      <default>300</default>
       <summary>Width of the index and search pane</summary>
       <description>The width of the index and search pane.</description>
     </key>