• Jeff Trull's avatar
    Adjust use of libgvc to fix two graphviz_draw issues · 52fe287a
    Jeff Trull authored
    One issue was reported to the mailing list on 2020-08-17 by Rolf
    Sander; the testcase is:
    import graph_tool.all as gt
    g = gt.Graph()
    v0 = g.add_vertex()
    v1 = g.add_vertex()
    e01 = g.add_edge(v0,v1)
    e11 = g.add_edge(v1,v1) # loop
    The other is issue #597 "Graphviz_draw core dumping when using HTML labels"
    Basically these changes add extra type information for interacting
    with libgvc.
graphviz_draw.py 23.9 KB