Circle: changing its shape with the Shape editor tool