def create_poly_draw_tool(plot: figure):
p1 = plot.patches([], [], fill_alpha=0.4)
return PolyDrawTool(renderers = [p1])
def create_poly_edit_tool(plot: figure):
p1 = plot.patches([], [], fill_alpha=0.4)
c1 = plot.circle([], [], size=10, color='red')
return PolyEditTool(renderers = [p1], vertex_renderer = c1)