Cast spinbox setting to int when setting

Author: ihabunek

pugdebug/gui/settings.py

@@ -141,7 +141,7 @@ def set_widget_value(self, widget, value):
         if isinstance(widget, QLineEdit):
             widget.setText(value)
         elif isinstance(widget, QSpinBox):
-            widget.setValue(value)
+            widget.setValue(int(value))
         elif isinstance(widget, QCheckBox):
             widget.setCheckState(value)
         else: