[gnome-terminal] profile: Increase default scrollback lines

[Christian Persch <chpe src gnome org>]

commit 68ccc3f766a374376fefd2d7147f97fb7ac4361c
Author: Christian Persch <chpe gnome org>
Date:   Sun Feb 21 15:22:28 2016 +0100

    profile: Increase default scrollback lines
    
    https://bugzilla.gnome.org/show_bug.cgi?id=747316

 src/org.gnome.Terminal.gschema.xml |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/src/org.gnome.Terminal.gschema.xml b/src/org.gnome.Terminal.gschema.xml
index f4204e0..c031c8a 100644
--- a/src/org.gnome.Terminal.gschema.xml
+++ b/src/org.gnome.Terminal.gschema.xml
@@ -202,7 +202,7 @@
       <summary>When to show the scrollbar</summary>
     </key>
     <key name="scrollback-lines" type="i">
-      <default>8192</default>
+      <default>10000</default>
       <summary>Number of lines to keep in scrollback</summary>
       <description>Number of scrollback lines to keep around. You can scroll back in the terminal by this 
number of lines; lines that don't fit in the scrollback are discarded. If scrollback_unlimited is true, this 
value is ignored.</description>
     </key>