Fix #385

The bug with the rotate station button was happening because widgetIndex of that button was 32, and the result was being cast from uint64 to int. I made it return 1/0 like the other `widget_is_` functions.

(also, added a "todo" to an other comment)