# HG changeset patch
# User nemo
# Date 1267379549 0
# Node ID eacccd2476baca16ad17ff9bccd96efabab99e9d
# Parent  69d04079fb464a647689216b1ccfe0062aaefc48
tweak mine dud spinner

diff -r 69d04079fb46 -r eacccd2476ba QTfrontend/pages.cpp
--- a/QTfrontend/pages.cpp	Sun Feb 28 17:51:38 2010 +0000
+++ b/QTfrontend/pages.cpp	Sun Feb 28 17:52:29 2010 +0000
@@ -1225,7 +1225,7 @@
 	SB_MineDuds = new QSpinBox(gbBasicSettings);
 	SB_MineDuds->setRange(0, 100);
 	SB_MineDuds->setValue(0);
-	SB_MineDuds->setSingleStep(10);
+	SB_MineDuds->setSingleStep(5);
 	glBSLayout->addWidget(SB_MineDuds,7,2,1,1);
 
 	l = new QLabel(gbBasicSettings);