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)