[add] PageUp/PageDown navigation preferences (main logic added in gea…

…ny-complete-core) Adds an option in the user preferences window to set the skip amount (default 4).
notetau · Jan 24, 2016 · eb11c59 · eb11c59
1 parent 60e4c01
commit eb11c59
Show file tree

Hide file tree

Showing 4 changed files with 1,215 additions and 994 deletions.
diff --git a/src/data/prefpy.ui b/src/data/prefpy.ui
@@ -23,6 +23,13 @@
     <property name="step_increment">1</property>
     <property name="page_increment">10</property>
   </object>
+  <object class="GtkAdjustment" id="adjustment_pageupdownskipamount">
+    <property name="lower">1</property>
+    <property name="upper">128</property>
+    <property name="value">4</property>
+    <property name="step_increment">1</property>
+    <property name="page_increment">10</property>
+  </object>
   <object class="GtkVBox" id="box_prefpy">
     <property name="visible">True</property>
     <property name="can_focus">False</property>
@@ -84,6 +91,20 @@
                     <property name="position">1</property>
                   </packing>
                 </child>
+                <child>
+                  <object class="GtkLabel" id="label_pageupdownskipamount">
+                    <property name="visible">True</property>
+                    <property name="can_focus">False</property>
+                    <property name="xalign">0</property>
+                    <property name="xpad">10</property>
+                    <property name="label" translatable="yes">page up/down skip amount</property>
+                  </object>
+                  <packing>
+                    <property name="expand">True</property>
+                    <property name="fill">True</property>
+                    <property name="position">2</property>
+                  </packing>
+                </child>
               </object>
               <packing>
                 <property name="expand">False</property>
@@ -130,6 +151,23 @@
                     <property name="position">1</property>
                   </packing>
                 </child>
+                <child>
+                  <object class="GtkSpinButton" id="spin_pageupdownskipamount">
+                    <property name="visible">True</property>
+                    <property name="can_focus">True</property>
+                    <property name="invisible_char">●</property>
+                    <property name="primary_icon_activatable">False</property>
+                    <property name="secondary_icon_activatable">False</property>
+                    <property name="primary_icon_sensitive">True</property>
+                    <property name="secondary_icon_sensitive">True</property>
+                    <property name="adjustment">adjustment_pageupdownskipamount</property>
+                  </object>
+                  <packing>
+                    <property name="expand">True</property>
+                    <property name="fill">True</property>
+                    <property name="position">2</property>
+                  </packing>
+                </child>
               </object>
               <packing>
                 <property name="expand">False</property>