Set maximal value for timeSpinBox to 9999.

c880fcc1 · Florent Lamiraux · Joseph Mirabel · 157fd0bc · c880fcc1
Commit c880fcc1 authored Mar 22, 2019 by Florent Lamiraux Committed by Joseph Mirabel Mar 22, 2019
--- a/plugins/hppwidgetsplugin/pathplayerwidget.ui
+++ b/plugins/hppwidgetsplugin/pathplayerwidget.ui
@@ -132,6 +132,9 @@
     <property name="value">
      <double>10.000000000000000</double>
     </property>
+     <property name="maximum">
+      <double>9999.0000000000000</double>
+     </property>
    </widget>
   </item>
   <item>