rendered paste body// 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">