Fix slider to convert floats to ints when passed in

Author: ctoth

gui_builder/widgets/wx_widgets.py

@@ -656,6 +656,7 @@ def __init__(self, *args, **kwargs):
         self.Bind(wx.EVT_CHAR, self.onSliderChar)
 
     def SetValue(self, i):
+        i = int(i)
         super(FixedSlider, self).SetValue(i)
         ctypes.windll.user32.NotifyWinEvent(
             self.EVENT_OBJECT_VALUECHANGE,