// This patch will fix the issue with the Hour's spin button not going
// past 13. Should be fixed upstream soon - Tiago "Salvador" Souza
// 2009-05-29
--- gnome-system-tools-2.22.2/interfaces/time.ui.orig	2009-03-17 12:21:01.000000000 -0300
+++ gnome-system-tools-2.22.2/interfaces/time.ui	2009-05-29 10:34:22.000000000 -0300
@@ -6,7 +6,7 @@
     <property name="lower">0</property>
     <property name="page_increment">10</property>
     <property name="value">0</property>
-    <property name="page_size">10</property>
+    <property name="page_size">0</property>
     <property name="step_increment">1</property>
   </object>
   <object class="GtkAdjustment" id="adjustment2">
@@ -14,7 +14,7 @@
     <property name="lower">0</property>
     <property name="page_increment">10</property>
     <property name="value">0</property>
-    <property name="page_size">10</property>
+    <property name="page_size">0</property>
     <property name="step_increment">1</property>
   </object>
   <object class="GtkAdjustment" id="adjustment3">
@@ -22,7 +22,7 @@
     <property name="lower">0</property>
     <property name="page_increment">10</property>
     <property name="value">0</property>
-    <property name="page_size">10</property>
+    <property name="page_size">0</property>
     <property name="step_increment">1</property>
   </object>
   <object class="GtkListStore" id="model1">