```

    property int tool_rotation: 90;

    function rotate_tool(widget, steps, direction) {

        widget.anim.duration = 900 * steps;
        widget.anim.from = tool_rotation;

        if (direction === 1) {
            widget.anim.to = -atc_rotation + 360/12 * steps;
        }
        else if (direction === -1) {
            widget.anim.to = -atc_rotation - 360/12 * steps;
        };

        widget.anim.restart()
    }