def update_fnc():
global pixels
global angle
global img
global photo
global canvas
print(angle)
canvas.delete("all")
pixels = [(255, 255, 255)] * size
new_verts = list(map(lambda x: (int(x[0]), int(x[1])), m2d.rotate(vertices, angle, centre)))
print(new_verts)
rasterise(new_verts, callback)
img.putdata(pixels)
photo = ImageTk.PhotoImage(image=img)
canvas.create_image(w/2, h/2, image=photo)
angle += increment
canvas.after(200, update_fnc)
def rotate_polygon(AABB, rotation, centre):
verts, centre2 = AABB_to_vertices(AABB)
return m2d.rotate(verts, rotation, centre2 if not centre else centre)
