fix: cast spinner widget angle to int when using for arc
Description
Makes sure that the angle used for DrawArc
in the spinner widget is an int and not an np.float64
Type of Change
- Cast value used to int
- Add a test: this test should fail on main
Definition of Done
-
Documentation is up-to-date.