Polygon editor

With the polygon editor, you can edit polygons in a polygon map: