def render_region(self, region):

        anchors = str(region.anchors[0]) + " " + str(region.anchors[1])

        return Element('region', {'anchors': anchors, 'xml:id': region.id})
Used to render the region elements of the Graph.
dataset/ETHPy150Open cidles/graf-python/src/graf/io.py/GrafRenderer.render_region