From e09f824b1aae3bf7f8ff5325be886c3b1f81e4d0 Mon Sep 17 00:00:00 2001
From: wmayer <wmayer@users.sourceforge.net>
Date: Mon, 1 Jun 2020 19:04:06 +0200
Subject: [PATCH] Gui: [skip ci] add spin box classes to widget factory

---
 src/Gui/resource.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/Gui/resource.cpp b/src/Gui/resource.cpp
index bf9882e07e..8bcd36d7d8 100644
--- a/src/Gui/resource.cpp
+++ b/src/Gui/resource.cpp
@@ -108,5 +108,7 @@ WidgetFactorySupplier::WidgetFactorySupplier()
     new WidgetProducer<Gui::UrlLabel>;
     new WidgetProducer<Gui::FileChooser>;
     new WidgetProducer<Gui::UIntSpinBox>;
+    new WidgetProducer<Gui::IntSpinBox>;
+    new WidgetProducer<Gui::DoubleSpinBox>;
     new WidgetProducer<Gui::QuantitySpinBox>;
 }