| 138 | wx.PostEvent(self, ValueChanged(self, None, value, None, slider_percentage, affect_modified_flag=affect_modified_flag)) |
| 139 | |
| 140 | def OnMouseWheel(self, evt): |
| 141 | if evt.GetWheelRotation() > 0 and evt.GetWheelAxis() == wx.MOUSE_WHEEL_VERTICAL: |
| 142 | self.SetValue(self.ctrl.Value + self.ctrl.Increment) |
| 143 | elif evt.GetWheelRotation() < 0 and evt.GetWheelAxis() == wx.MOUSE_WHEEL_VERTICAL: |
| 144 | self.SetValue(self.ctrl.Value - self.ctrl.Increment) |
| 145 | else: |
| 146 | evt.Skip() |
| 147 | |
| 148 | def OnWindowClose(self): |
| 149 | # Stop animations to prevent crashes when window is |