plugin: [skip ci] add custom widgets Gui::IntSpinBox and Gui::DoubleSpinBox

src/Tools/plugins/widget/customwidgets.cpp

@@ -1626,6 +1626,18 @@ void UIntSpinBox::updateValidator()
 
 // --------------------------------------------------------------------
 
+IntSpinBox::IntSpinBox(QWidget* parent)
+  : QSpinBox(parent)
+{
+}
+
+IntSpinBox::~IntSpinBox()
+{
+
+}
+
+// --------------------------------------------------------------------
+
 PrefSpinBox::PrefSpinBox ( QWidget * parent )
   : QSpinBox(parent)
 {
@@ -1657,6 +1669,17 @@ void PrefSpinBox::setParamGrpPath ( const QByteArray& name )
 
 // --------------------------------------------------------------------
 
+DoubleSpinBox::DoubleSpinBox(QWidget* parent)
+  : QDoubleSpinBox(parent)
+{
+}
+
+DoubleSpinBox::~DoubleSpinBox()
+{
+}
+
+// --------------------------------------------------------------------
+
 PrefDoubleSpinBox::PrefDoubleSpinBox ( QWidget * parent )
   : QDoubleSpinBox(parent)
 {