[gnome-terminal] profile: editor: Scrollback lines' plus/minus buttons jump by thousands

[Egmont Koblinger <egmontkob src gnome org>]

commit 535b02335763a46bcc890084626572e4058cb831
Author: Egmont Koblinger <egmont gmail com>
Date:   Mon Jan 22 13:29:25 2018 +0100

    profile: editor: Scrollback lines' plus/minus buttons jump by thousands
    
    Also mark other numeric fields as such, and remove climb-rate.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=792760

 src/profile-preferences.ui |   15 ++++++++-------
 1 files changed, 8 insertions(+), 7 deletions(-)
---
diff --git a/src/profile-preferences.ui b/src/profile-preferences.ui
index f37a7dd..8a83604 100644
--- a/src/profile-preferences.ui
+++ b/src/profile-preferences.ui
@@ -17,11 +17,11 @@
     <property name="page_increment">10</property>
   </object>
   <object class="GtkAdjustment" id="adjustment4">
-    <property name="lower">1</property>
+    <property name="lower">0</property>
     <property name="upper">2147483647</property>
-    <property name="value">1</property>
-    <property name="step_increment">1</property>
-    <property name="page_increment">100</property>
+    <property name="value">10000</property>
+    <property name="step_increment">1000</property>
+    <property name="page_increment">10000</property>
   </object>
   <object class="GtkAdjustment" id="adjustment5">
     <property name="lower">1.0</property>
@@ -303,7 +303,7 @@
                             <property name="visible">True</property>
                             <property name="can_focus">True</property>
                             <property name="adjustment">adjustment1</property>
-                            <property name="climb_rate">1</property>
+                            <property name="numeric">True</property>
                             <property name="input_hints">GTK_INPUT_HINT_NO_EMOJI</property>
                           </object>
                           <packing>
@@ -340,7 +340,7 @@
                             <property name="visible">True</property>
                             <property name="can_focus">True</property>
                             <property name="adjustment">adjustment2</property>
-                            <property name="climb_rate">1</property>
+                            <property name="numeric">True</property>
                             <property name="input_hints">GTK_INPUT_HINT_NO_EMOJI</property>
                           </object>
                           <packing>
@@ -600,6 +600,7 @@
                             <property name="can_focus">True</property>
                             <property name="adjustment">adjustment5</property>
                             <property name="digits">2</property>
+                            <property name="numeric">True</property>
                             <property name="input_hints">GTK_INPUT_HINT_NO_EMOJI</property>
                           </object>
                           <packing>
@@ -636,6 +637,7 @@
                             <property name="can_focus">True</property>
                             <property name="adjustment">adjustment6</property>
                             <property name="digits">2</property>
+                            <property name="numeric">True</property>
                             <property name="input_hints">GTK_INPUT_HINT_NO_EMOJI</property>
                           </object>
                           <packing>
@@ -1594,7 +1596,6 @@
                         <property name="visible">True</property>
                         <property name="can_focus">True</property>
                         <property name="adjustment">adjustment4</property>
-                        <property name="climb_rate">1</property>
                         <property name="numeric">True</property>
                         <property name="input_hints">GTK_INPUT_HINT_NO_EMOJI</property>
                       </object>